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

DOI10.3166/JANCL.20.373-421MaRDI QIDQ2901201zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Label-free modular systems for classical and intuitionistic modal logics
• Label-free proof systems for intuitionistic modal logic IS5
• Natural deduction in normal modal logic
• Natural deduction, hybrid systems and modal logics
• scientific article; zbMATH DE number 1749009

Cites work

• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• A modal analysis of staged computation
• A modal extension of intuitionist logic
• A new S4 classical modal logic in natural deduction
• Deep sequent systems for modal logic
• Fitch-style rules for many modal logics
• On an intuitionistic modal logic
• Proof analysis in modal logic
• Symbolic Representations of the Post-apartheid University
• The Method of Tree-Hypersequents for Modal Propositional Logic
• The finite model property for MIPQ and some consequences

Cited in

(18)

• Maehara-style modal nested calculi
• Labelled Natural Deduction for Conditional Logics of Normality
• Nested sequents for intuitionistic modal logics via structural refinement
• Nested sequents or tree-hypersequents -- a survey
• Local intuitionistic modal logics and their calculi
• Towards a Canonical Classical Natural Deduction System
• Label-free proof systems for intuitionistic modal logic IS5
• Natural deduction calculi for classical and intuitionistic S5
• Intuitionistic non-normal modal logics: a general framework
• Natural deduction, hybrid systems and modal logics
• scientific article; zbMATH DE number 1841827 (Why is no real title available?)
• scientific article; zbMATH DE number 1416049 (Why is no real title available?)
• From 2-sequents and linear nested sequents to natural deduction for normal modal logics
• Natural deduction and context as (constructive) modality
• Propositional quantifiers in labelled natural deduction for normal modal logic
• Neutral free logic: motivation, proof theory and models
• Label-free modular systems for classical and intuitionistic modal logics
• A simplified natural deduction approach to certain modal systems

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

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