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 ...
share
research
∙
07/23/2023
Non-Normal Modal Description Logics (Extended Version)
Modal logics are widely used in multi-agent systems to reason about acti...
research
∙
10/19/2022
Comparative plausibility in neighbourhood models: axiom systems and sequent calculi
We introduce a family of comparative plausibility logics over neighbourh...
research
∙
10/18/2022
Wijesekera-style constructive modal logics
We define a family of propositional constructive modal logics correspond...
research
∙
06/30/2022
Reasoning in Non-normal Modal Description Logics
Non-normal modal logics, interpreted on neighbourhood models which gener...
research
∙
06/09/2020
Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity
We present some hypersequent calculi for all systems of the classical cu...
research
∙
01/28/2019