A natural deduction calculus for \textbf{S4.2}

DOI10.1215/00294527-2024-0011MaRDI QIDQ6589311zbMATH OpenFDO

Authors Simone Martini, Andrea Masini, Margherita Zorzi

Publication date 19 August 2024

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1215/00294527-2024-0011

zbMATH Keywords

modal logicnatural deductionnormalizationproof theory

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)

Cites work

• 2-sequent calculus: A proof theory of modalities
• 2-Sequent Calculus: Intuitionism and Natural Deduction
• A modified subformula property for the modal logic S4.2
• A proof-theoretic investigation of a logic of positions
• A quick guided tour to the modal logic \textbf{S4.2}
• Actual and potential infinity
• An infinitary variant of Metric Temporal Logic over dense time domains
• Constructivism in mathematics. An introduction. Volume I
• Cut Elimination for Extended Sequent Calculi
• Deep sequent systems for modal logic
• Diodorean modality in Minkowski spacetime
• From 2-sequents and linear nested sequents to natural deduction for normal modal logics
• scientific article; zbMATH DE number 4033738 (Why is no real title available?)
• scientific article; zbMATH DE number 956466 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 1749009 (Why is no real title available?)
• scientific article; zbMATH DE number 786493 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 970633 (Why is no real title available?)
• Indexed systems of sequents and cut-elimination
• Labelled propositional modal logics: theory and practice
• Modal logics of domains on the real plane
• Modularisation of sequent calculi for normal and non-normal modalities
• Natural deduction calculi for classical and intuitionistic S5
• Prefixed tableaus and nested sequents
• Proof analysis in intermediate logics
• Proof methods for modal and intuitionistic logics
• Tableau methods of proof for modal logics
• The modal logic of abelian groups
• The modal logic of forcing

This page was built for publication: A natural deduction calculus for \textbf{S4.2}

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6589311)