1 citations · 1 across the 8 of their papers we have counts for
9 papers
Intuitionistic Monotone Modal Logic: Proof Theory and Semantics
Tiziano Dalmonte, Jim de Groot
We study the recently introduced intuitionistic monotone modal logic IM. We first provide a semantic characterisation for a family of natural extensions of IM in terms of construct…
A Proof-Theoretic View of Basic Intuitionistic Conditional Logic (Extended Version)
Tiziano Dalmonte, Marianna Girlando
Intuitionistic conditional logic, studied by Weiss, Ciardelli and Liu, and Olkhovikov, aims at providing a constructive analysis of conditional reasoning. In this framework, the wo…
Minimal modal logics, constructive modal logics and their relations
Tiziano Dalmonte
We present a family of minimal modal logics (namely, modal logics based on minimal propositional logic) corresponding each to a different classical modal logic. The minimal modal l…
Non-Normal Modal Description Logics (Extended Version)
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki +1
Modal logics are widely used in multi-agent systems to reason about actions, abilities, norms, or epistemic states. Combined with description logic languages, they are also a power…
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…
Reasoning in Non-normal Modal Description Logics
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki
Non-normal modal logics, interpreted on neighbourhood models which generalise the usual relational semantics, have found application in several areas, such as epistemic, deontic, a…
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…