Publication:4530621
From MaRDI portal
zbMath1003.03001MaRDI QIDQ4530621
Publication date: 4 June 2002
complexity; completeness; Horn clauses; normalization; Kripke semantics; soundness; nonclassical logic; decision procedures; Isabelle; labelled deductive systems; relational theory; interactive proof development; labelling algebra; labelled natural deduction systems; minimal metalogic; modal sequent systems
03B45: Modal logic (including the logic of norms)
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03B70: Logic in computer science
03F05: Cut-elimination and normal-form theorems
03F07: Structure of proofs
Related Items
Unnamed Item, A two‐dimensional metric temporal logic, An Investigation into Intuitionistic Logic with Identity, Axiomatic and dual systems for constructive necessity, a formally verified equivalence, Labeled sequent calculus for justification logics, Hypersequent rules with restricted contexts for propositional modal logics, Labeled sequent calculi for modal logics and implicit contractions, Proof analysis in modal logic, A polynomial space construction of tree-like models for logics with local chains of modal connectives, Compositional meaning in logic, Multicomponent proof-theoretic method for proving interpolation properties, A spatial logic for concurrency. II, Event-based time-stamped claim logic, Introducing identity, Dual and axiomatic systems for constructive S4, a formally verified equivalence, A fresh view of linear logic as a logical framework, Proofs and countermodels in non-classical logics, Hypersequent and display calculi -- a unified perspective, Semantics, calculi, and analysis for object-oriented specifications, A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations, Hybridizing a Logical Framework, A History of Until, Through an Inference Rule, Darkly, A Labeled Natural Deduction System for a Fragment of CTL *
Uses Software