Linear Nested Sequents, 2-Sequents and Hypersequents

DOI10.1007/978-3-319-24312-2_10zbMath1471.03080OpenAlexW2185933163MaRDI QIDQ3455766

Björn Lellmann

Publication date: 11 December 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-24312-2_10

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (13)

A linear logic framework for multimodal logics ⋮ An ecumenical notion of entailment ⋮ Natural deduction calculi for classical and intuitionistic S5 ⋮ Cut Elimination for Extended Sequent Calculi ⋮ Cut Elimination Theorem for Non-Commutative Hypersequent Calculus ⋮ Proof theory for functional modal logic ⋮ A fresh view of linear logic as a logical framework ⋮ Through an Inference Rule, Darkly ⋮ Unnamed Item ⋮ CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME ⋮ A general proof certification framework for modal logic ⋮ A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems ⋮ CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Prefixed tableaus and nested sequents
• Proof analysis in modal logic
• Deep sequent systems for modal logic
• Gentzen calculi for modal propositional logic
• 2-sequent calculus: A proof theory of modalities
• Nested sequents for intuitionistic logics
• Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications
• A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5
• The Method of Tree-Hypersequents for Modal Propositional Logic
• Non-Commutative First-Order Sequent Calculus
• 2-Sequent Calculus: Intuitionism and Natural Deduction
• Sequent Calculi for Normal Modal Propositional Logics
• From Frame Properties to Hypersequent Rules in Modal Logics
• Hypersequent Calculus for Intuitionistic Logic with Classical Atoms

This page was built for publication: Linear Nested Sequents, 2-Sequents and Hypersequents