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-04 - 2016-01-07; in: "Logical Foundations of Computer Science 2020", S. Artemov, A. Nerode (ed.); Springer, 9537 (2016), ISBN: 978-3-319-27683-0; 27 - 46.

English 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.

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.