Natural deduction calculi for classical and intuitionistic S5

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

zbMATH Keywords

modal logicproof theorynatural deductionintuitionism

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

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