Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/221747
-
Titel: 
An Analytic Representation of the Semantics of First-Order S5
en
Zitat: 
Baaz, M., Gamsakhurdia, M., & Lolić, A. (2025). An Analytic Representation of the Semantics of First-Order S5. In R. Thiemann & C. Weidenbach (Eds.), Frontiers of Combining Systems : 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings (pp. 63–79). Springer. https://doi.org/10.1007/978-3-032-04167-8_4
-
Verlags-DOI: 
10.1007/978-3-032-04167-8_4
-
Publikationstyp: 
Konferenzbeitrag - Full-Paper Contribution
de
Sprache: 
Englisch
-
Autor_innen: 
Baaz, Matthias 
Gamsakhurdia, Mariami 
Lolić, Anela 
-
Organisations­einheit: 
E104-02 - Forschungsbereich Computational Logic 
E192-05 - Forschungsbereich Theory and Logic 
-
Erschienen in: 
Frontiers of Combining Systems : 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings 
-
ISBN: 
978-3-032-04167-8
-
Band: 
15979
-
DOI des Buches: 
10.1007/978-3-032-04167-8
-
Datum (veröffentlicht): 
15-Sep-2025
-
Veranstaltungs­name: 
15th International Symposium on Frontiers of Combining Systems (FroCoS 2025) 
en
Veranstaltungs­zeitraum: 
29-Sep- 225 - 1-Okt- 225
-
Veranstaltungs­ort: 
Reykjavik, Island
-
Umfang: 
17
-
Verlag: 
Springer, Cham
-
Peer Reviewed: 
Ja
-
Keywords: 
Cut elimination; Herbrand’s theorem; Interpolation; Modal S5; Prenex fragment; Two-sorted logic
en
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
Forschungs­schwerpunkte: 
Logic and Computation: 100%
-
Wissenschafts­zweig: 
1020 - Informatik: 5%
1010 - Mathematik: 95%
-
Enthalten in den Sammlungen:
Conference Paper

Zur Langanzeige

Seiten Aufrufe

8
aufgerufen am 27.11.2025

Google ScholarTM

Check