{"id":"https://openalex.org/W4407182790","doi":"https://doi.org/10.1093/logcom/exae086","title":"A calculus for modal compact Hausdorff spaces","display_name":"A calculus for modal compact Hausdorff spaces","publication_year":2025,"publication_date":"2025-02-05","ids":{"openalex":"https://openalex.org/W4407182790","doi":"https://doi.org/10.1093/logcom/exae086"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exae086","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/exae086","pdf_url":"https://academic.oup.com/logcom/article-pdf/35/6/exae086/61755231/exae086.pdf","source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://academic.oup.com/logcom/article-pdf/35/6/exae086/61755231/exae086.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045687469","display_name":"Nick Bezhanishvili","orcid":"https://orcid.org/0009-0005-6692-5051"},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Nick Bezhanishvili","raw_affiliation_strings":["Institute for Logic , Language and Computation, University of Amsterdam, 1098 XH Amsterdam, the"],"affiliations":[{"raw_affiliation_string":"Institute for Logic , Language and Computation, University of Amsterdam, 1098 XH Amsterdam, the","institution_ids":["https://openalex.org/I887064364"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028359774","display_name":"Luca Carai","orcid":"https://orcid.org/0000-0001-9545-2365"},"institutions":[{"id":"https://openalex.org/I189158943","display_name":"University of Milan","ror":"https://ror.org/00wjc7c48","country_code":"IT","type":"education","lineage":["https://openalex.org/I189158943"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Luca Carai","raw_affiliation_strings":["Department of Mathematics , University of Milan, 20122 Milan,"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics , University of Milan, 20122 Milan,","institution_ids":["https://openalex.org/I189158943"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041352997","display_name":"Silvio Ghilardi","orcid":"https://orcid.org/0000-0001-6449-6883"},"institutions":[{"id":"https://openalex.org/I189158943","display_name":"University of Milan","ror":"https://ror.org/00wjc7c48","country_code":"IT","type":"education","lineage":["https://openalex.org/I189158943"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Silvio Ghilardi","raw_affiliation_strings":["Department of Mathematics , University of Milan, 20122 Milan,"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics , University of Milan, 20122 Milan,","institution_ids":["https://openalex.org/I189158943"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5051049711","display_name":"Zhiguang Zhao","orcid":"https://orcid.org/0000-0001-5637-945X"},"institutions":[{"id":"https://openalex.org/I4210118050","display_name":"Taishan University","ror":"https://ror.org/02bpnkx55","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210118050"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhiguang Zhao","raw_affiliation_strings":["School of Mathematics and Statistics , Taishan University, Tai'an 271000,"],"affiliations":[{"raw_affiliation_string":"School of Mathematics and Statistics , Taishan University, Tai'an 271000,","institution_ids":["https://openalex.org/I4210118050"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5045687469"],"corresponding_institution_ids":["https://openalex.org/I887064364"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":{"value":4151,"currency":"USD","value_usd":4151},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.01734292,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"35","issue":"6","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9945999979972839,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9945999979972839,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9941999912261963,"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.9879000186920166,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/hausdorff-space","display_name":"Hausdorff space","score":0.7651205062866211},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.7199311852455139},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.5987886190414429},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5065919160842896},{"id":"https://openalex.org/keywords/normal-modal-logic","display_name":"Normal modal logic","score":0.42406678199768066},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.4225379228591919},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3717995285987854},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.35207170248031616},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.31495973467826843},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.0588856041431427},{"id":"https://openalex.org/keywords/materials-science","display_name":"Materials science","score":0.049237221479415894}],"concepts":[{"id":"https://openalex.org/C191399826","wikidata":"https://www.wikidata.org/wiki/Q326908","display_name":"Hausdorff space","level":2,"score":0.7651205062866211},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.7199311852455139},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.5987886190414429},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5065919160842896},{"id":"https://openalex.org/C114092440","wikidata":"https://www.wikidata.org/wiki/Q840226","display_name":"Normal modal logic","level":4,"score":0.42406678199768066},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4225379228591919},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3717995285987854},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.35207170248031616},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.31495973467826843},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0588856041431427},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.049237221479415894},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"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":2,"locations":[{"id":"doi:10.1093/logcom/exae086","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/exae086","pdf_url":"https://academic.oup.com/logcom/article-pdf/35/6/exae086/61755231/exae086.pdf","source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},{"id":"pmh:oai:air.unimi.it:2434/1157015","is_oa":true,"landing_page_url":"https://hdl.handle.net/2434/1157015","pdf_url":null,"source":{"id":"https://openalex.org/S4306400516","display_name":"Archivio Istituzionale della Ricerca (Universita Degli Studi Di Milano)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I189158943","host_organization_name":"University of Milan","host_organization_lineage":["https://openalex.org/I189158943"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1093/logcom/exae086","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/exae086","pdf_url":"https://academic.oup.com/logcom/article-pdf/35/6/exae086/61755231/exae086.pdf","source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1974542962","display_name":null,"funder_award_id":"Sk\u0142odowska","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G2573627744","display_name":null,"funder_award_id":"GNSAGA","funder_id":"https://openalex.org/F4320311030","funder_display_name":"Istituto Nazionale di Alta Matematica \"Francesco Severi\""},{"id":"https://openalex.org/G2689612763","display_name":null,"funder_award_id":"Marie","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G3554716318","display_name":null,"funder_award_id":"ZR2023QF021","funder_id":"https://openalex.org/F4320324174","funder_display_name":"Natural Science Foundation of Shandong Province"},{"id":"https://openalex.org/G3830323789","display_name":null,"funder_award_id":"INdAM","funder_id":"https://openalex.org/F4320334045","funder_display_name":"Gruppo Nazionale per le Strutture Algebriche, Geometriche e le loro Applicazioni"},{"id":"https://openalex.org/G6930832244","display_name":null,"funder_award_id":"101007627","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8318064016","display_name":null,"funder_award_id":"Horizon","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320311030","display_name":"Istituto Nazionale di Alta Matematica \"Francesco Severi\"","ror":"https://ror.org/01vx64p53"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320324174","display_name":"Natural Science Foundation of Shandong Province","ror":null},{"id":"https://openalex.org/F4320334045","display_name":"Gruppo Nazionale per le Strutture Algebriche, Geometriche e le loro Applicazioni","ror":null},{"id":"https://openalex.org/F4320338074","display_name":"Government of Shandong Province","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4407182790.pdf","grobid_xml":"https://content.openalex.org/works/W4407182790.grobid-xml"},"referenced_works_count":27,"referenced_works":["https://openalex.org/W84056104","https://openalex.org/W1485990531","https://openalex.org/W1494501165","https://openalex.org/W1603602114","https://openalex.org/W1912850559","https://openalex.org/W2014830113","https://openalex.org/W2048154108","https://openalex.org/W2048610309","https://openalex.org/W2051649506","https://openalex.org/W2061003582","https://openalex.org/W2061686800","https://openalex.org/W2074899782","https://openalex.org/W2093270475","https://openalex.org/W2140351059","https://openalex.org/W2145852765","https://openalex.org/W2164389533","https://openalex.org/W2335935258","https://openalex.org/W2529311106","https://openalex.org/W2950450725","https://openalex.org/W2954562902","https://openalex.org/W2968868769","https://openalex.org/W4285811081","https://openalex.org/W4405648346","https://openalex.org/W6624997248","https://openalex.org/W6629463652","https://openalex.org/W6662553144","https://openalex.org/W6763892714"],"related_works":["https://openalex.org/W2101793126","https://openalex.org/W4318188140","https://openalex.org/W3016746667","https://openalex.org/W1587059467","https://openalex.org/W2795425183","https://openalex.org/W1530784265","https://openalex.org/W4310201982","https://openalex.org/W2150137870","https://openalex.org/W2082558313","https://openalex.org/W2028144918"],"abstract_inverted_index":{"Abstract":[0],"The":[1],"symmetric":[2,72],"strict":[3,73],"implication":[4,74],"calculus":[5,10,75,102],"$\\mathsf{S}^{2}\\mathsf{IC}$":[6],"is":[7,16,84],"a":[8,34,47,100,111],"modal":[9,61,71,94,104],"for":[11,103,114],"compact":[12,23,38,42,105],"Hausdorff":[13,24,39,43,106],"spaces.":[14,107],"This":[15],"established":[17],"through":[18],"de":[19,27,55,62,95],"Vries":[20,28,56,63,96],"duality,":[21,57],"linking":[22],"spaces":[25,40,44,51],"with":[26,33,46,89],"algebras\u2014complete":[29],"Boolean":[30],"algebras":[31],"equipped":[32],"special":[35],"relation.":[36,49],"Modal":[37],"are":[41],"enriched":[45],"continuous":[48,60,93],"These":[50],"correspond,":[52],"via":[53],"modalized":[54],"to":[58,91,119],"upper":[59,92],"algebras.":[64],"In":[65],"this":[66,126],"paper,":[67],"we":[68,117],"introduce":[69],"the":[70],"$\\mathsf{MS}^{2}\\mathsf{IC}$,":[76],"which":[77],"extends":[78],"$\\mathsf{S}^{2}\\mathsf{IC}$.":[79],"We":[80,108],"prove":[81],"that":[82,116],"$\\mathsf{MS}^{2}\\mathsf{IC}$":[83,115],"strongly":[85],"sound":[86],"and":[87],"complete":[88],"respect":[90],"algebras,":[97],"thereby":[98],"providing":[99],"logical":[101],"also":[109],"develop":[110],"relational":[112],"semantics":[113],"employ":[118],"show":[120],"admissibility":[121],"of":[122],"various":[123],"$\\Pi_{2}$-rules":[124],"in":[125],"system.":[127]},"counts_by_year":[],"updated_date":"2026-03-25T14:56:36.534964","created_date":"2025-10-10T00:00:00"}