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.
Keywords:
Hypersequents, Non-normal modal logics, Countermodel construction, Cut elimination
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-36755-8_3
Created from the Publication Database of the Vienna University of Technology.