Non normal logics: semantic analysis and proof theory

Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano +1

We introduce proper display calculi for basic monotonic modal logic,the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conserva…