scientific article; zbMATH DE number 6157355

zbMath1261.03091MaRDI QIDQ4918421

Eike Ritter, V. C. V. de Paiva

Publication date: 24 April 2013

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Combinatory logic and lambda calculus (03B40)

Related Items (4)

Modality via iterated enrichment ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Curry-Howard-Lambek correspondence for intuitionistic belief

This page was built for publication: