2-sequent calculus: A proof theory of modalities

DOI10.1016/0168-0072(92)90029-YzbMath0819.03045OpenAlexW2009791150MaRDI QIDQ1207545

Andrea Masini

Publication date: 1 April 1993

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(92)90029-y

zbMATH Keywords

cut eliminationextension of Gentzen sequent calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (14)

Linear Nested Sequents, 2-Sequents and Hypersequents ⋮ Distributed first order logic ⋮ Natural deduction calculi for classical and intuitionistic S5 ⋮ Geometric modal logic ⋮ Cut Elimination for Extended Sequent Calculi ⋮ A proof-theoretic investigation of a logic of positions ⋮ Proof theory for functional modal logic ⋮ Through an Inference Rule, Darkly ⋮ Temporal Gödel‐Gentzen and Girard translations ⋮ An approach to infinitary temporal proof theory ⋮ Cut-free Gentzen calculus for multimodal CK ⋮ Linear logic by levels and bounded time complexity ⋮ An abstract approach to stratification in linear logic ⋮ CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D

Cites Work

• Constructive modal logics. I
• Intuitionistic tense and modal logic
• 2-Sequent Calculus: Intuitionism and Natural Deduction
• Proof theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: 2-sequent calculus: A proof theory of modalities