Publication:4918421

zbMath1261.03091MaRDI QIDQ4918421

Eike Ritter, V. C. V. de Paiva

Publication date: 24 April 2013

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B40: Combinatory logic and lambda calculus

Related Items

Unnamed Item, Unnamed Item