Focused and Synthetic Nested Sequents
From MaRDI portal
Publication:2811354
DOI10.1007/978-3-662-49630-5_23zbMath1476.03080OpenAlexW2470520559MaRDI QIDQ2811354
Sonia Marin, Kaustuv Chaudhuri, Lutz Straßburger
Publication date: 10 June 2016
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-49630-5_23
Related Items
MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description), Hypersequent rules with restricted contexts for propositional modal logics, Focused proof-search in the logic of bunched implications, A general proof certification framework for modal logic
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Prefixed tableaus and nested sequents
- Proof analysis in modal logic
- Deep sequent systems for modal logic
- A logical characterization of forward and backward chaining in the inverse method
- Focusing and polarization in linear, intuitionistic, and classical logics
- Cut-free sequent calculi for some tense logics
- Display logic
- Uniform proofs as a foundation for logic programming
- A judgmental reconstruction of modal logic
- Structural Focalization
- Focusing and higher-order abstract syntax
- Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications
- Focused Labeled Proof Systems for Modal Logic
- Proof Search in Nested Sequent Calculi
- The Method of Tree-Hypersequents for Modal Propositional Logic
- Logic Programming with Focusing Proofs in Linear Logic
- Cut Elimination in Nested Sequents for Intuitionistic Modal Logics
- Focused Natural Deduction
- Modular Focused Proof Systems for Intuitionistic Modal Logics
- Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic
- Focusing Strategies in the Sequent Calculus of Synthetic Connectives
- A multi-focused proof system isomorphic to expansion proofs
