<div class="csl-bib-body">
<div class="csl-entry">Baaz, M., Gamsakhurdia, M., & Lolić, A. (2025). An Analytic Representation of the Semantics of First-Order S5. In R. Thiemann & C. Weidenbach (Eds.), <i>Frontiers of Combining Systems : 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings</i> (pp. 63–79). Springer. https://doi.org/10.1007/978-3-032-04167-8_4</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/221747
-
dc.description.abstract
One of the most fascinating examples of the failure of Beth’s definability theorem and, consequently, of Craig’s interpolation theorem, is quantified S5. In this paper, we intend to establish the interpolation property for fragments of quantified S5 using a formulation of the semantics of quantified S5 as an analytic calculus in its own right. This is especially straightforward for S5, because necessity (possibility) in S5 means for all worlds (there exists a world), and we have simply to extend every predicate by a world position (worlds and objects are to be considered as separate entities).
en
dc.language.iso
en
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.subject
Cut elimination
en
dc.subject
Herbrand’s theorem
en
dc.subject
Interpolation
en
dc.subject
Modal S5
en
dc.subject
Prenex fragment
en
dc.subject
Two-sorted logic
en
dc.title
An Analytic Representation of the Semantics of First-Order S5
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.contributor.editoraffiliation
Universität Innsbruck, Austria
-
dc.contributor.editoraffiliation
Max Planck Institute for Informatics, Germany
-
dc.relation.isbn
978-3-032-04167-8
-
dc.relation.doi
10.1007/978-3-032-04167-8
-
dc.relation.issn
0302-9743
-
dc.description.startpage
63
-
dc.description.endpage
79
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
tuw.booktitle
Frontiers of Combining Systems : 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings
-
tuw.container.volume
15979
-
tuw.peerreviewed
true
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Cham
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E104-02 - Forschungsbereich Computational Logic
-
tuw.publication.orgunit
E192-05 - Forschungsbereich Theory and Logic
-
tuw.publisher.doi
10.1007/978-3-032-04167-8_4
-
dc.description.numberOfPages
17
-
tuw.author.orcid
0000-0002-7815-2501
-
tuw.author.orcid
0009-0009-0468-9945
-
tuw.editor.orcid
0000-0002-0323-8829
-
tuw.editor.orcid
0000-0001-6002-0458
-
tuw.event.name
15th International Symposium on Frontiers of Combining Systems (FroCoS 2025)
en
tuw.event.startdate
29-09-225
-
tuw.event.enddate
01-10-225
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Reykjavik
-
tuw.event.country
IS
-
tuw.event.presenter
Baaz, Matthias
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
5
-
wb.sciencebranch.value
95
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.cerifentitytype
Publications
-
item.openairetype
conference paper
-
item.fulltext
no Fulltext
-
item.languageiso639-1
en
-
item.grantfulltext
none
-
crisitem.author.dept
E104-02 - Forschungsbereich Computational Logic
-
crisitem.author.dept
E104-02 - Forschungsbereich Computational Logic
-
crisitem.author.dept
E192-05 - Forschungsbereich Theory and Logic
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie
