Publication:4736390
From MaRDI portal
zbMath1054.03027MaRDI QIDQ4736390
Matt Fairtlough, Michael Mendler
Publication date: 9 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2277/22770063.htm
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
03F35: Second- and higher-order arithmetic and fragments
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
A modal type theory for formalizing trusted communications, Cut-free Gentzen calculus for multimodal CK, A semantic hierarchy for intuitionistic logic