{"id":"https://openalex.org/W2405321979","doi":"https://doi.org/10.29007/zh85","title":"Topological completeness of extensions of S4","display_name":"Topological completeness of extensions of S4","publication_year":2018,"publication_date":"2018-01-23","ids":{"openalex":"https://openalex.org/W2405321979","doi":"https://doi.org/10.29007/zh85","mag":"2405321979"},"language":"en","primary_location":{"id":"doi:10.29007/zh85","is_oa":true,"landing_page_url":"https://doi.org/10.29007/zh85","pdf_url":"https://easychair.org/publications/open/Xb","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://easychair.org/publications/open/Xb","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5031772210","display_name":"Guram Bezhanishvili","orcid":null},"institutions":[{"id":"https://openalex.org/I10052268","display_name":"New Mexico State University","ror":"https://ror.org/00hpz7z43","country_code":"US","type":"education","lineage":["https://openalex.org/I10052268"]},{"id":"https://openalex.org/I102808428","display_name":"Tbilisi State University","ror":"https://ror.org/05fd1hd85","country_code":"GE","type":"education","lineage":["https://openalex.org/I102808428"]},{"id":"https://openalex.org/I176601375","display_name":"Khalifa University of Science and Technology","ror":"https://ror.org/05hffr360","country_code":"AE","type":"education","lineage":["https://openalex.org/I176601375"]}],"countries":["AE","GE","US"],"is_corresponding":false,"raw_author_name":"Guram Bezhanishvili","raw_affiliation_strings":["Department of Mathematical Sciences New Mexico State University Las Cruces NM 88003-8001, USA","A. Razmadze Mathematical Institute Tbilisi State University University St. 2, Tbilisi 0186, Georgia","Khalifa University Abu Dhabi, U.A.E","Department of Applied Mathematics and Sciences"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematical Sciences New Mexico State University Las Cruces NM 88003-8001, USA","institution_ids":["https://openalex.org/I10052268"]},{"raw_affiliation_string":"A. Razmadze Mathematical Institute Tbilisi State University University St. 2, Tbilisi 0186, Georgia","institution_ids":["https://openalex.org/I102808428"]},{"raw_affiliation_string":"Khalifa University Abu Dhabi, U.A.E","institution_ids":["https://openalex.org/I176601375"]},{"raw_affiliation_string":"Department of Applied Mathematics and Sciences","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033831417","display_name":"David Gabelaia","orcid":"https://orcid.org/0000-0002-8317-7949"},"institutions":[{"id":"https://openalex.org/I10052268","display_name":"New Mexico State University","ror":"https://ror.org/00hpz7z43","country_code":"US","type":"education","lineage":["https://openalex.org/I10052268"]},{"id":"https://openalex.org/I102808428","display_name":"Tbilisi State University","ror":"https://ror.org/05fd1hd85","country_code":"GE","type":"education","lineage":["https://openalex.org/I102808428"]},{"id":"https://openalex.org/I176601375","display_name":"Khalifa University of Science and Technology","ror":"https://ror.org/05hffr360","country_code":"AE","type":"education","lineage":["https://openalex.org/I176601375"]}],"countries":["AE","GE","US"],"is_corresponding":false,"raw_author_name":"David Gabelaia","raw_affiliation_strings":["A. Razmadze Mathematical Institute Tbilisi State University University St. 2, Tbilisi 0186, Georgia","Khalifa University Abu Dhabi, U.A.E","Department of Applied Mathematics and Sciences","Department of Mathematical Sciences New Mexico State University Las Cruces NM 88003-8001, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"A. Razmadze Mathematical Institute Tbilisi State University University St. 2, Tbilisi 0186, Georgia","institution_ids":["https://openalex.org/I102808428"]},{"raw_affiliation_string":"Khalifa University Abu Dhabi, U.A.E","institution_ids":["https://openalex.org/I176601375"]},{"raw_affiliation_string":"Department of Applied Mathematics and Sciences","institution_ids":[]},{"raw_affiliation_string":"Department of Mathematical Sciences New Mexico State University Las Cruces NM 88003-8001, USA","institution_ids":["https://openalex.org/I10052268"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016272145","display_name":"Joel Lucero\u2010Bryan","orcid":"https://orcid.org/0000-0002-7939-4342"},"institutions":[{"id":"https://openalex.org/I10052268","display_name":"New Mexico State University","ror":"https://ror.org/00hpz7z43","country_code":"US","type":"education","lineage":["https://openalex.org/I10052268"]},{"id":"https://openalex.org/I102808428","display_name":"Tbilisi State University","ror":"https://ror.org/05fd1hd85","country_code":"GE","type":"education","lineage":["https://openalex.org/I102808428"]},{"id":"https://openalex.org/I176601375","display_name":"Khalifa University of Science and Technology","ror":"https://ror.org/05hffr360","country_code":"AE","type":"education","lineage":["https://openalex.org/I176601375"]}],"countries":["AE","GE","US"],"is_corresponding":false,"raw_author_name":"Joel Lucero-Bryan","raw_affiliation_strings":["A. Razmadze Mathematical Institute Tbilisi State University University St. 2, Tbilisi 0186, Georgia","Khalifa University Abu Dhabi, U.A.E","Department of Applied Mathematics and Sciences","Department of Mathematical Sciences New Mexico State University Las Cruces NM 88003-8001, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"A. Razmadze Mathematical Institute Tbilisi State University University St. 2, Tbilisi 0186, Georgia","institution_ids":["https://openalex.org/I102808428"]},{"raw_affiliation_string":"Khalifa University Abu Dhabi, U.A.E","institution_ids":["https://openalex.org/I176601375"]},{"raw_affiliation_string":"Department of Applied Mathematics and Sciences","institution_ids":[]},{"raw_affiliation_string":"Department of Mathematical Sciences New Mexico State University Las Cruces NM 88003-8001, USA","institution_ids":["https://openalex.org/I10052268"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00516844,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"25","issue":null,"first_page":"27","last_page":"22"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9977999925613403,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9977999925613403,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9879999756813049,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.98089998960495,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/subalgebra","display_name":"Subalgebra","score":0.8575431704521179},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.8395321369171143},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.7936209440231323},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.7165371179580688},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6464006900787354},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.6094406247138977},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4601365625858307},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4319707155227661},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.410396933555603},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.40873995423316956},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2592402696609497},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.1983751654624939},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.15299716591835022},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.07726764678955078},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.04526868462562561}],"concepts":[{"id":"https://openalex.org/C67996461","wikidata":"https://www.wikidata.org/wiki/Q629933","display_name":"Subalgebra","level":3,"score":0.8575431704521179},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.8395321369171143},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.7936209440231323},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.7165371179580688},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6464006900787354},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.6094406247138977},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4601365625858307},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4319707155227661},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.410396933555603},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.40873995423316956},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2592402696609497},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.1983751654624939},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.15299716591835022},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.07726764678955078},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.04526868462562561},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.29007/zh85","is_oa":true,"landing_page_url":"https://doi.org/10.29007/zh85","pdf_url":"https://easychair.org/publications/open/Xb","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.29007/zh85","is_oa":true,"landing_page_url":"https://doi.org/10.29007/zh85","pdf_url":"https://easychair.org/publications/open/Xb","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2405321979.pdf","grobid_xml":"https://content.openalex.org/works/W2405321979.grobid-xml"},"referenced_works_count":13,"referenced_works":["https://openalex.org/W1480405493","https://openalex.org/W1579494268","https://openalex.org/W1977264230","https://openalex.org/W1979519099","https://openalex.org/W2049989560","https://openalex.org/W2050527500","https://openalex.org/W2050719571","https://openalex.org/W2115136657","https://openalex.org/W2115647456","https://openalex.org/W2136619669","https://openalex.org/W2142696533","https://openalex.org/W2970205057","https://openalex.org/W6602217061"],"related_works":["https://openalex.org/W2028144918","https://openalex.org/W3016746667","https://openalex.org/W2292521357","https://openalex.org/W2405321979","https://openalex.org/W1587059467","https://openalex.org/W2101793126","https://openalex.org/W2962420748","https://openalex.org/W2175984923","https://openalex.org/W2947093719","https://openalex.org/W142011187"],"abstract_inverted_index":{"It":[0],"was":[1],"left":[2],"as":[3,86,88],"an":[4],"open":[5],"problem":[6,38],"in":[7,54],"(Bezhanishvili":[8],"and":[9],"Gabelaia,":[10],"2011)":[11],"whether":[12],"a":[13,82,93],"connected":[14,44],"normal":[15,45,69],"extension":[16,46,70],"of":[17,26,29,47,59,62,71,81,84,92,95],"S4":[18,48,72],"without":[19,51,75],"FMP":[20],"is":[21,34,53,77],"also":[22,65],"the":[23,56,78,89],"modal":[24,57,79,90],"logic":[25,58,80,91],"some":[27,60],"subalgebra":[28,61,83,94],"R+.":[30,63],"Our":[31],"purpose":[32],"here":[33],"to":[35],"solve":[36],"this":[37],"affirmatively":[39],"by":[40],"showing":[41],"that":[42,67],"each":[43,68],"(with":[49,73],"or":[50,74],"FMP)":[52,76],"fact":[55],"We":[64],"prove":[66],"Q+,":[85],"well":[87],"C+.":[96]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}