<div class="csl-bib-body">
<div class="csl-entry">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.), <i>Logical Foundations of Computer Science. International Symposium, LFCS 2016</i> (pp. 27–46). Springer. https://doi.org/10.1007/978-3-030-36755-8_3</div>
</div>
-
dc.identifier.isbn
9783030367541
-
dc.identifier.isbn
9783030367558
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/58033
-
dc.description.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.
en
dc.language.iso
en
-
dc.publisher
Springer
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.subject
Cut elimination
-
dc.subject
Hypersequents
-
dc.subject
Non-normal modal logics
-
dc.subject
Countermodel construction
-
dc.title
Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics
en
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.relation.publication
Logical Foundations of Computer Science. International Symposium, LFCS 2016
-
dc.contributor.editoraffiliation
The Graduate Center, CUNY, United States of America (the)
-
dc.relation.isbn
978-3-319-27683-0
-
dc.relation.doi
10.1007/978-3-319-27683-0
-
dc.relation.issn
0302-9743
-
dc.description.startpage
27
-
dc.description.endpage
46
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
dc.publisher.place
9537
-
tuw.booktitle
Logical Foundations of Computer Science. International Symposium, LFCS 2016
-
tuw.peerreviewed
true
-
tuw.book.ispartofseries
Lecture Notes in Computer Science
-
tuw.relation.publisher
Springer
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E104 - Institut für Diskrete Mathematik und Geometrie
-
tuw.publisher.doi
10.1007/978-3-030-36755-8_3
-
dc.description.numberOfPages
20
-
tuw.author.orcid
0000-0002-7153-0506
-
tuw.author.orcid
0000-0002-5335-1838
-
tuw.author.orcid
0000-0001-6254-3754
-
tuw.author.orcid
0000-0002-7113-0801
-
tuw.editor.orcid
0000-0002-5605-6172
-
tuw.event.name
Logical Foundations of Computer Science, International Symposium, LFCS 2016
