Intuitionistic non-normal modal logics: A general framework

Abstract : We define a family of intuitionistic non-normal modal logics; they can be seen as intuitionistic counterparts of classical ones. We first consider monomodal logics, which contain only Necessity or Possibility. We then consider the more important case of bimodal logics, which contain both modal operators. In this case we define several interactions between Necessity and Possibility of increasing strength, although weaker than duality. We thereby obtain a lattice of 24 distinct bimodal logics. For all logics we provide both a Hilbert axiomatisation and a cut-free sequent calculus, on its basis we also prove their decidability. We then define a semantic characterisation of our logics in terms of neighbourhood models containing two distinct neighbourhood functions corresponding to the two modalities. Our semantic framework captures modularly not only our systems but also already known intuitionistic non-normal modal logics such as Constructive K (CK) and the propositional fragment of Wijesekera's Constructive Concurrent Dynamic Logic.
Complete list of metadatas

Cited literature [51 references]  Display  Hide  Download
Contributor : Tiziano Dalmonte <>
Submitted on : Tuesday, January 14, 2020 - 5:05:17 PM
Last modification on : Tuesday, January 21, 2020 - 1:56:15 AM


int nnmls versione arXiv per H...
Files produced by the author(s)


  • HAL Id : hal-02439704, version 1



Tiziano Dalmonte, Charles Grellois, Nicola Olivetti. Intuitionistic non-normal modal logics: A general framework. Journal of Philosophical Logic, Springer Verlag, inPress. ⟨hal-02439704⟩



Record views


Files downloads