Talks and Poster Presentations (with Proceedings-Entry):
T. Dalmonte, B. Lellmann, N. Olivetti, E. Pimentel:
"Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics";
Talk: International Symposium on Logical Foundations of Computer Science 2020,
Deerfield Beach, USA;
- 2016-01-07; in: "Logical Foundations of Computer Science 2020",
S. Artemov, A. Nerode (ed.);
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.
Hypersequents, Non-normal modal logics, Countermodel construction, Cut elimination
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.