Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
T. Dalmonte, B. Lellmann, N. Olivetti, E. Pimentel:
"Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics";
Vortrag: International Symposium on Logical Foundations of Computer Science 2020,
Deerfield Beach, USA;
04.01.2016
- 07.01.2016; in: "Logical Foundations of Computer Science 2020",
S. Artemov, A. Nerode (Hrg.);
Springer,
9537
(2016),
ISBN: 978-3-319-27683-0;
S. 27
- 46.
Kurzfassung englisch:
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.
Schlagworte:
Hypersequents, Non-normal modal logics, Countermodel construction, Cut elimination
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-36755-8_3
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.