Intuitionistic Non-Normal Modal Logics: A general framework

01/28/2019
by   Tiziano Dalmonte, et al.
0

We define a family of intuitionistic non-normal modal logics; they can bee seen as intuitionistic counterparts of classical ones. We first consider monomodal logics, which contain only one between Necessity and 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. 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 give a semantic characterisation of our logics in terms of neighbourhood models. 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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/18/2022

Wijesekera-style constructive modal logics

We define a family of propositional constructive modal logics correspond...
research
02/27/2013

Possibility and Necessity Functions over Non-classical Logics

We propose an integration of possibility theory into non-classical logic...
research
09/05/2023

Minimal modal logics, constructive modal logics and their relations

We present a family of minimal modal logics (namely, modal logics based ...
research
08/10/2021

Explicit non-normal modal logic

Faroldi argues that deontic modals are hyperintensional and thus traditi...
research
02/27/2013

On Modal Logics for Qualitative Possibility in a Fuzzy Setting

Within the possibilistic approach to uncertainty modeling, the paper pre...
research
04/14/2022

Non-Normal Super-Strict Implications

This paper introduces the logics of super-strict implications that are b...
research
09/19/2022

Universal Proof Theory: Feasible Admissibility in Intuitionistic Modal Logics

In this paper, we introduce a general family of sequent-style calculi ov...

Please sign up or login with your details

Forgot password? Click here to reset