scientific article; zbMATH DE number 2079039
From MaRDI portal
Publication:4474851
zbMath1044.03514MaRDI QIDQ4474851
Matt Fairtlough, Michael Mendler
Publication date: 21 July 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (8)
Nested sequents for intuitionistic modal logics via structural refinement ⋮ Deriving dualities in pointfree topology from Priestley duality ⋮ A framework for intuitionistic grammar logics ⋮ Mathematical modal logic: A view of its evolution ⋮ 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 ⋮ Game Semantics for Access Control ⋮ Sequent calculi and decidability for intuitionistic hybrid logic
This page was built for publication:
