Label-free natural deduction systems for intuitionistic and classical modal logics

DOI10.3166/JANCL.20.373-421zbMath1242.03033OpenAlexW1964202571MaRDI QIDQ2901201

Didier Galmiche, Yakoub Salhi

Publication date: 17 July 2012

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.20.373-421

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)

Related Items (4)

Intuitionistic non-normal modal logics: a general framework ⋮ Nested sequents for intuitionistic modal logics via structural refinement ⋮ Natural deduction calculi for classical and intuitionistic S5 ⋮ Maehara-style modal nested calculi

Cites Work

• Unnamed Item
• Unnamed Item
• Proof analysis in modal logic
• Deep sequent systems for modal logic
• Fitch-style rules for many modal logics
• The finite model property for MIPQ and some consequences
• On an intuitionistic modal logic
• A modal extension of intuitionist logic
• A modal analysis of staged computation
• A new S4 classical modal logic in natural deduction
• The Method of Tree-Hypersequents for Modal Propositional Logic
• Symbolic Representations of the Post-apartheid University

This page was built for publication: Label-free natural deduction systems for intuitionistic and classical modal logics