Natural deduction calculi for classical and intuitionistic S5
From MaRDI portal
Publication:6172068
DOI10.1080/11663081.2023.2233750OpenAlexW4385233696MaRDI QIDQ6172068
Stefano Guerrini, Andrea Masini, Margherita Zorzi
Publication date: 16 August 2023
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/11663081.2023.2233750
Cites Work
- Hypersequent rules with restricted contexts for propositional modal logics
- Deep sequent systems for modal logic
- Constructivism in mathematics. An introduction. Volume II
- 2-sequent calculus: A proof theory of modalities
- A tableau system for propositional S5
- Predicate logics on display
- A proof-theoretic investigation of a logic of positions
- A proof-theoretic approach to negative translations in intuitionistic tense logics
- Hypersequent and display calculi -- a unified perspective
- A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations
- Full classical S5 in natural deduction with weak normalization
- Back from the future
- Label-free natural deduction systems for intuitionistic and classical modal logics
- Label-Free Proof Systems for Intuitionistic Modal Logic IS5
- Labelled natural deduction for a bundled branching temporal logic
- Linear Nested Sequents, 2-Sequents and Hypersequents
- A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5
- The Method of Tree-Hypersequents for Modal Propositional Logic
- An analysis of (linear) exponentials based on extended sequents
- 2-Sequent Calculus: Intuitionism and Natural Deduction
- Modularisation of Sequent Calculi for Normal and Non-normal Modalities
- Cut Elimination in Nested Sequents for Intuitionistic Modal Logics
- From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics
- A two‐dimensional metric temporal logic
- Computer Science Logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item