scientific article
From MaRDI portal
Publication:3509048
zbMath1150.03006MaRDI QIDQ3509048
Publication date: 1 July 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)
Related Items (24)
Power and Limits of Structural Display Rules ⋮ Deep sequent systems for modal logic ⋮ Natural deduction calculi and sequent calculi for counterfactual logics ⋮ Provability multilattice logic ⋮ Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach ⋮ Nested sequents for intermediate logics: the case of Gödel-Dummett logics ⋮ Maehara-style modal nested calculi ⋮ The Proof Theory of Common Knowledge ⋮ Through an Inference Rule, Darkly ⋮ A Logical Basis for Quantum Evolution and Entanglement ⋮ A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5 ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Syntactic cut-elimination for a fragment of the modal mu-calculus ⋮ Unnamed Item ⋮ Display calculi and other modal calculi: a comparison ⋮ The Method of Tree-Hypersequents for Modal Propositional Logic ⋮ Multicomponent proof-theoretic method for proving interpolation properties ⋮ Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information ⋮ Inducing Syntactic Cut-Elimination for Indexed Nested Sequents ⋮ Deep Inference in Bi-intuitionistic Logic ⋮ Syntactic cut-elimination for common knowledge ⋮ Syntactic Cut-elimination for Common Knowledge ⋮ Why does the proof-theory of hybrid logic work so well? ⋮ Dual systems of tableaux and sequents for PLTL
This page was built for publication: