Label-free natural deduction systems for intuitionistic and classical modal logics
From MaRDI portal
Publication:2901201
DOI10.3166/JANCL.20.373-421zbMATH Open1242.03033OpenAlexW1964202571MaRDI QIDQ2901201FDOQ2901201
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
Recommendations
Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)
Cites Work
- On an intuitionistic modal logic
- Title not available (Why is that?)
- A modal analysis of staged computation
- Fitch-style rules for many modal logics
- Proof analysis in modal logic
- Title not available (Why is that?)
- The Method of Tree-Hypersequents for Modal Propositional Logic
- Deep sequent systems for modal logic
- A modal extension of intuitionist logic
- Symbolic Representations of the Post-apartheid University
- The finite model property for MIPQ and some consequences
- A new S4 classical modal logic in natural deduction
Cited In (11)
- Labelled Natural Deduction for Conditional Logics of Normality
- Maehara-style modal nested calculi
- Nested sequents for intuitionistic modal logics via structural refinement
- Towards a Canonical Classical Natural Deduction System
- Natural deduction calculi for classical and intuitionistic S5
- Intuitionistic non-normal modal logics: a general framework
- Natural deduction, hybrid systems and modal logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Neutral free logic: motivation, proof theory and models
- 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)
