{"id":"https://openalex.org/W7081987454","doi":"https://doi.org/10.1007/978-3-032-04167-8_4","title":"An Analytic Representation of\u00a0the\u00a0Semantics of\u00a0First-Order S5","display_name":"An Analytic Representation of\u00a0the\u00a0Semantics of\u00a0First-Order S5","publication_year":2025,"publication_date":"2025-09-14","ids":{"openalex":"https://openalex.org/W7081987454","doi":"https://doi.org/10.1007/978-3-032-04167-8_4"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-032-04167-8_4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-04167-8_4","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-04167-8_4.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-04167-8_4.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Matthias Baaz","orcid":"https://orcid.org/0000-0002-7815-2501"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Matthias Baaz","raw_affiliation_strings":["Institute of Discrete Mathematics and Geometry, TU Wien, Vienna, Austria"],"raw_orcid":"https://orcid.org/0000-0002-7815-2501","affiliations":[{"raw_affiliation_string":"Institute of Discrete Mathematics and Geometry, TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Mariami Gamsakhurdia","orcid":"https://orcid.org/0009-0009-0468-9945"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Mariami Gamsakhurdia","raw_affiliation_strings":["Institute of Discrete Mathematics and Geometry, TU Wien, Vienna, Austria"],"raw_orcid":"https://orcid.org/0009-0009-0468-9945","affiliations":[{"raw_affiliation_string":"Institute of Discrete Mathematics and Geometry, TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":null,"display_name":"Anela Loli\u0107","orcid":"https://orcid.org/0000-0002-4753-7302"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Anela Loli\u0107","raw_affiliation_strings":["Institute of Logic and Computation, TU Wien, Vienna, Austria"],"raw_orcid":"https://orcid.org/0000-0002-4753-7302","affiliations":[{"raw_affiliation_string":"Institute of Logic and Computation, TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I145847075"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.71297537,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"63","last_page":"79"},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T12157","display_name":"Geochemistry and Geologic Mapping","score":0.4077000021934509,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12157","display_name":"Geochemistry and Geologic Mapping","score":0.4077000021934509,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13177","display_name":"Geological and Geophysical Studies","score":0.03720000013709068,"subfield":{"id":"https://openalex.org/subfields/1907","display_name":"Geology"},"field":{"id":"https://openalex.org/fields/19","display_name":"Earth and Planetary Sciences"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13067","display_name":"Geological Modeling and Analysis","score":0.031599998474121094,"subfield":{"id":"https://openalex.org/subfields/1906","display_name":"Geochemistry and Petrology"},"field":{"id":"https://openalex.org/fields/19","display_name":"Earth and Planetary Sciences"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.5989000201225281},{"id":"https://openalex.org/keywords/interpolation","display_name":"Interpolation (computer graphics)","score":0.5756999850273132},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5691999793052673},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4797999858856201},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.46709999442100525},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.4542999863624573},{"id":"https://openalex.org/keywords/representation-theorem","display_name":"Representation theorem","score":0.41769999265670776},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"First-order logic","score":0.40380001068115234}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6236000061035156},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.5989000201225281},{"id":"https://openalex.org/C137800194","wikidata":"https://www.wikidata.org/wiki/Q11713455","display_name":"Interpolation (computer graphics)","level":3,"score":0.5756999850273132},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5691999793052673},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4797999858856201},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.46709999442100525},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4542999863624573},{"id":"https://openalex.org/C2776230367","wikidata":"https://www.wikidata.org/wiki/Q7314222","display_name":"Representation theorem","level":2,"score":0.41769999265670776},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.40380001068115234},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3440999984741211},{"id":"https://openalex.org/C136172866","wikidata":"https://www.wikidata.org/wiki/Q1088088","display_name":"Possible world","level":2,"score":0.3248000144958496},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.30219998955726624},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2955000102519989},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.2939999997615814},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.29269999265670776},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.2833000123500824},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.28299999237060547},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2827000021934509},{"id":"https://openalex.org/C2318724","wikidata":"https://www.wikidata.org/wiki/Q852732","display_name":"Proof theory","level":3,"score":0.2705000042915344},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.2635999917984009},{"id":"https://openalex.org/C198082294","wikidata":"https://www.wikidata.org/wiki/Q3399648","display_name":"Position (finance)","level":2,"score":0.2624000012874603},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.25850000977516174}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-032-04167-8_4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-04167-8_4","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-04167-8_4.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-032-04167-8_4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-04167-8_4","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-04167-8_4.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321004","display_name":"\u00d6sterreichischen Akademie der Wissenschaften","ror":"https://ror.org/03anc3s24"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320322839","display_name":"Technische Universit\u00e4t Wien","ror":"https://ror.org/04d836q62"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7081987454.pdf","grobid_xml":"https://content.openalex.org/works/W7081987454.grobid-xml"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W1759871617","https://openalex.org/W1949943063","https://openalex.org/W1968647304","https://openalex.org/W1973539826","https://openalex.org/W1993453078","https://openalex.org/W2041053214","https://openalex.org/W2071369407","https://openalex.org/W2114633883","https://openalex.org/W2160771441","https://openalex.org/W2169981414","https://openalex.org/W4213130966","https://openalex.org/W4214486797","https://openalex.org/W4233906803","https://openalex.org/W4247797067"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"One":[1],"of":[2,7,10,16,35,41,44],"the":[3,8,30,42],"most":[4],"fascinating":[5],"examples":[6],"failure":[9],"Beth\u2019s":[11],"definability":[12],"theorem":[13],"and,":[14],"consequently,":[15],"Craig\u2019s":[17],"interpolation":[18,31],"theorem,":[19],"is":[20,56],"quantified":[21,36,45],"S5.":[22],"In":[23],"this":[24],"paper,":[25],"we":[26,75],"intend":[27],"to":[28,78,90],"establish":[29],"property":[32],"for":[33,59,67],"fragments":[34],"S5":[37,46,65],"using":[38],"a":[39,72,83],"formulation":[40],"semantics":[43],"as":[47,93],"an":[48],"analytic":[49],"calculus":[50],"in":[51,64],"its":[52],"own":[53],"right.":[54],"This":[55],"especially":[57],"straightforward":[58],"S5,":[60],"because":[61],"necessity":[62],"(possibility)":[63],"means":[66],"all":[68],"worlds":[69],"(there":[70],"exists":[71],"world),":[73],"and":[74,87],"have":[76],"simply":[77],"extend":[79],"every":[80],"predicate":[81],"by":[82],"world":[84],"position":[85],"(worlds":[86],"objects":[88],"are":[89],"be":[91],"considered":[92],"separate":[94],"entities).":[95]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}