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
∙
07/02/2019