13 citations · 19 across the 4 of their papers we have counts for
4 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…
Local Intuitionistic Modal Logics and Their Calculi
Philippe Balbiani, Han Gao, Çiğdem Gencer +1
We investigate intuitionistic modal logics with locally interpreted and . The basic logic LIK is stronger than constructive modal logic WK and incomparable with…
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…
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…