Intuitionistic non-normal modal logics: a general framework

DOI10.1007/S10992-019-09539-3zbMath1485.03047arXiv1901.09812OpenAlexW3003076001MaRDI QIDQ829826

Charles Grellois, Nicola Olivetti, Tiziano Dalmonte

Publication date: 6 May 2021

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1901.09812

zbMATH Keywords

intuitionistic logicsequent calculinon-normal modal logicneighbourhood semantics

Mathematics Subject Classification ID

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

Related Items (5)

Terminating calculi and countermodels for constructive modal logics ⋮ The Došen square under construction: a tale of four modalities ⋮ Non-normal modal logics and conditional logics: semantic analysis and proof theory ⋮ Towards an intuitionistic deontic logic tolerating conflicting obligations ⋮ Note on the Intuitionistic Logic of False Belief

Cites Work

• Constructive modal logics. I
• Cut-free Gentzen calculus for multimodal CK
• On modal logic with an intuitionistic base
• Propositional lax logic
• Many-dimensional modal logics: theory and applications
• On an intuitionistic modal logic
• Sequent calculi and decision procedures for weak modal systems
• Uniform interpolation and the existence of sequent calculi
• Modular sequent calculi for classical modal logics
• Neighborhood semantics for modal logic
• Logic and the modalities in the twentieth century
• Tableaux for constructive concurrent dynamic logic
• Label-free natural deduction systems for intuitionistic and classical modal logics
• Knowledge Means ‘All’, Belief Means ‘Most’
• On Nested Sequents for Constructive Modal Logics
• OBLIGATION, FREE CHOICE, AND THE LOGIC OF WEAKEST PERMISSIONS
• Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4
• Grothendieck Topology as Geometric Modality
• Intuitionistic Modal Logic: A 15-year retrospective
• Tree-sequent calculi and decision procedures for intuitionistic modal logics
• Modularisation of Sequent Calculi for Normal and Non-normal Modalities
• Cut Elimination in Nested Sequents for Intuitionistic Modal Logics
• Universal grammar
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Intuitionistic non-normal modal logics: a general framework