We develop semantically-oriented calculi for the cube of non-normal modal logics and some deontic extensions. The calculi manipulate hypersequents and have a simple semantic interpretation. Their main feature is that they allow for direct countermodel extraction. Moreover they provide an optimal decision procedure for the respective logics. They also enjoy standard proof-theoretical properties, such as a syntactical proof of cut-admissibility.
CITATION STYLE
Dalmonte, T., Lellmann, B., Olivetti, N., & Pimentel, E. (2020). Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11972 LNCS, pp. 27–46). Springer. https://doi.org/10.1007/978-3-030-36755-8_3
Mendeley helps you to discover research relevant for your work.