23 citations · 50 across the 11 of their papers we have counts for
12 papers
Dyadic obligations: proofs and countermodels via hypersequents
Agata Ciabattoni, Nicola Oliveti, Xavier Parent
The basic system E of dyadic deontic logic proposed by Åqvist offers a simple solution to contrary-to-duty paradoxes and allows to represent norms with exceptions. We investigate E…
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-nested Calculus
Philippe Balbiani, Han Gao, Çiğdem Gencer +1
We introduce FIK, a natural intuitionistic modal logic specified by Kripke models satisfying the condition of forward confluence. We give a complete Hilbert-style axiomatization of…
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…
Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics
Marianna Girlando, Sara Negri, Nicola Olivetti
The preferential conditional logic PCL, introduced by Burgess, and its extensions are studied. First, a natural semantics based on neighbourhood models, which generalise Lewis' sph…
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…
Rational Closure in SHIQ
Laura Giordano, Valentina Gliozzi, Nicola Olivetti +1
We define a notion of rational closure for the logic SHIQ, which does not enjoys the finite model property, building on the notion of rational closure introduced by Lehmann and Mag…