Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics

6Citations
Citations of this article
1Readers
Mendeley users who have this article in their library.
Get full text

Abstract

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.

Cite

CITATION STYLE

APA

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

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free