Publication:4474851
From MaRDI portal
zbMath1044.03514MaRDI QIDQ4474851
Matt Fairtlough, Michael Mendler
Publication date: 21 July 2004
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Almost duplication-free tableau calculi for prepositional lax logics, A timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits, Deriving dualities in pointfree topology from Priestley duality, Sequent calculi and decidability for intuitionistic hybrid logic, Mathematical modal logic: A view of its evolution, Nested sequents for intuitionistic modal logics via structural refinement, A framework for intuitionistic grammar logics, Game Semantics for Access Control