Non-normal logics: semantic analysis and proof theory (extended version)
Logic
2020-10-01 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 proper display calculi, starting from a semantic analysis which motivates syntactic translations from single-type non-normal modal logics to multi-type normal poly-modal logics.
Cite
@article{arxiv.2009.14449,
title = {Non-normal logics: semantic analysis and proof theory (extended version)},
author = {Jinsheng Chen and Giuseppe Greco and Alessandra Palmigiano and Apostolos Tzimoulis},
journal= {arXiv preprint arXiv:2009.14449},
year = {2020}
}
Comments
extended version. arXiv admin note: substantial text overlap with arXiv:1903.04868