research
∙
09/12/2023
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-nested Calculus
We introduce FIK, a natural intuitionistic modal logic specified by Krip...
share
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
∙
02/14/2020
Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics
The preferential conditional logic PCL, introduced by Burgess, and its e...
research
∙
01/28/2019
Intuitionistic Non-Normal Modal Logics: A general framework
We define a family of intuitionistic non-normal modal logics; they can b...
research
∙
06/08/2014
Rational Closure in SHIQ
We define a notion of rational closure for the logic SHIQ, which does no...
research
∙
05/05/2013