Publication:3509048
From MaRDI portal
zbMath1150.03006MaRDI QIDQ3509048
Publication date: 1 July 2008
03B45: Modal logic (including the logic of norms)
03F05: Cut-elimination and normal-form theorems
03F07: Structure of proofs
Related Items
Syntactic Cut-elimination for Common Knowledge, A Logical Basis for Quantum Evolution and Entanglement, Natural deduction calculi and sequent calculi for counterfactual logics, Syntactic cut-elimination for a fragment of the modal mu-calculus, Deep sequent systems for modal logic, Display calculi and other modal calculi: a comparison, Syntactic cut-elimination for common knowledge, Dual systems of tableaux and sequents for PLTL, Hypersequent and display calculi -- a unified perspective, Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information, Inducing Syntactic Cut-Elimination for Indexed Nested Sequents, A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5, The Method of Tree-Hypersequents for Modal Propositional Logic, Deep Inference in Bi-intuitionistic Logic, Why does the proof-theory of hybrid logic work so well?