Dalmonte, T., Lellmann, B., Olivetti, N., & Pimentel, E. (2016). Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics. In S. Artemov & A. Nerode (Eds.), Logical Foundations of Computer Science. International Symposium, LFCS 2016 (pp. 27–46). Springer. https://doi.org/10.1007/978-3-030-36755-8_3
Logical Foundations of Computer Science, International Symposium, LFCS 2016
-
Veranstaltungszeitraum:
4-Jan-2016 - 7-Jan-2016
-
Veranstaltungsort:
Deerfield Beach, Forida, Vereinigte Staaten von Amerika
-
Umfang:
20
-
Verlag:
Springer, 9537
-
Verlag:
Springer
-
Peer Reviewed:
Ja
-
Keywords:
Cut elimination; Hypersequents; Non-normal modal logics; Countermodel construction
-
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.