Non normal logics: semantic analysis and proof theory
Logic
2019-10-22 v1
Abstract
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, conservative and enjoy cut elimination and subformula property. Our proposal applies the multi-type methodology in the design of display calculi, starting from a semantic analysis based on the translation from monotonic modal logic to normal bi-modal logic.
Cite
@article{arxiv.1903.04868,
title = {Non normal logics: semantic analysis and proof theory},
author = {Jinsheng Chen and Giuseppe Greco and Alessandra Palmigiano and Apostolos Tzimoulis},
journal= {arXiv preprint arXiv:1903.04868},
year = {2019}
}