Publication:3509048

zbMath1150.03006MaRDI QIDQ3509048

Kai Brünnler

Publication date: 1 July 2008

zbMATH Keywords

modal logic; sequent calculus; deep inference

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03F05: Cut-elimination and normal-form theorems

03F07: Structure of proofs

Related Items

Unnamed Item, Syntactic Cut-elimination for Common Knowledge, Power and Limits of Structural Display Rules, A Logical Basis for Quantum Evolution and Entanglement, Provability multilattice logic, Nested sequents for intermediate logics: the case of Gödel-Dummett logics, 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, Maehara-style modal nested calculi, Multicomponent proof-theoretic method for proving interpolation properties, Hypersequent and display calculi -- a unified perspective, Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach, Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information, Inducing Syntactic Cut-Elimination for Indexed Nested Sequents, The Proof Theory of Common Knowledge, Through an Inference Rule, Darkly, 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?