4 papers
Comparative plausibility in neighbourhood models: axiom systems and sequent calculi
Tiziano Dalmonte, Marianna Girlando
We introduce a family of comparative plausibility logics over neighbourhood models, generalising Lewis' comparative plausibility operator over sphere models. We provide axiom syste…
Wijesekera-style constructive modal logics
Tiziano Dalmonte
We define a family of propositional constructive modal logics corresponding each to a different classical modal system. The logics are defined in the style of Wijesekera's construc…
Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity
Tiziano Dalmonte, Björn Lellmann, Nicola Olivetti +1
We present some hypersequent calculi for all systems of the classical cube and their extensions with axioms , , , and, for every , rule . The calculi are…
Intuitionistic Non-Normal Modal Logics: A general framework
Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
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…