Full classical S5 in natural deduction with weak normalization

DOI10.1016/j.apal.2007.11.007zbMath1137.03011OpenAlexW2024316283MaRDI QIDQ2478553

Lilia Ramalho Martins, Ana Teresa Martins

Publication date: 28 March 2008

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2007.11.007

zbMATH Keywords

modal logicnormalizationnatural deductionS5

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Related Items (2)

Natural deduction calculi for classical and intuitionistic S5 ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Normalization and excluded middle. I
• Proof analysis in modal logic
• A new S4 classical modal logic in natural deduction
• A cut-free Gentzen-type system for the modal logic S5
• Normalization theorems for full first order classical natural deduction
• 2-Sequent Calculus: Intuitionism and Natural Deduction
• Sequent Calculi for Normal Modal Propositional Logics
• A cut-free Gentzen formulation of the modal logic S5

This page was built for publication: Full classical S5 in natural deduction with weak normalization