{"id":"https://openalex.org/W2008144954","doi":"https://doi.org/10.1215/00294527-1306190","title":"An Algebraic Approach to Subframe Logics. Modal Case","display_name":"An Algebraic Approach to Subframe Logics. Modal Case","publication_year":2011,"publication_date":"2011-04-01","ids":{"openalex":"https://openalex.org/W2008144954","doi":"https://doi.org/10.1215/00294527-1306190","mag":"2008144954"},"language":"en","primary_location":{"id":"doi:10.1215/00294527-1306190","is_oa":true,"landing_page_url":"https://doi.org/10.1215/00294527-1306190","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-52/issue-2/An-Algebraic-Approach-to-Subframe-Logics-Modal-Case/10.1215/00294527-1306190.pdf","source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-52/issue-2/An-Algebraic-Approach-to-Subframe-Logics-Modal-Case/10.1215/00294527-1306190.pdf","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"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Guram Bezhanishvili","raw_affiliation_strings":["Department of Mathematical Sciences New Mexico State University Las Cruces NM 88003 USA","Department of Computer Science Universit\u00e0 degli Studi di Milano via Comelico 39 20135 Milano ITALY","Department of Mathematical Logic Razmadze Mathematical Institute M. Aleksidze Str","Tbilisi 0193 GEORGIA"],"affiliations":[{"raw_affiliation_string":"Department of Mathematical Sciences New Mexico State University Las Cruces NM 88003 USA","institution_ids":["https://openalex.org/I10052268"]},{"raw_affiliation_string":"Department of Computer Science Universit\u00e0 degli Studi di Milano via Comelico 39 20135 Milano ITALY","institution_ids":[]},{"raw_affiliation_string":"Department of Mathematical Logic Razmadze Mathematical Institute M. Aleksidze Str","institution_ids":[]},{"raw_affiliation_string":"Tbilisi 0193 GEORGIA","institution_ids":[]}]},{"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/I10052268","display_name":"New Mexico State University","ror":"https://ror.org/00hpz7z43","country_code":"US","type":"education","lineage":["https://openalex.org/I10052268"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Silvio Ghilardi","raw_affiliation_strings":["Tbilisi 0193 GEORGIA","Department of Mathematical Logic Razmadze Mathematical Institute M. Aleksidze Str","Department of Mathematical Sciences New Mexico State University Las Cruces NM 88003 USA","Department of Computer Science Universit\u00e0 degli Studi di Milano via Comelico 39 20135 Milano ITALY"],"affiliations":[{"raw_affiliation_string":"Tbilisi 0193 GEORGIA","institution_ids":[]},{"raw_affiliation_string":"Department of Mathematical Logic Razmadze Mathematical Institute M. Aleksidze Str","institution_ids":[]},{"raw_affiliation_string":"Department of Mathematical Sciences New Mexico State University Las Cruces NM 88003 USA","institution_ids":["https://openalex.org/I10052268"]},{"raw_affiliation_string":"Department of Computer Science Universit\u00e0 degli Studi di Milano via Comelico 39 20135 Milano ITALY","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085592765","display_name":"Mamuka Jibladze","orcid":"https://orcid.org/0000-0002-9434-9523"},"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"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mamuka Jibladze","raw_affiliation_strings":["Department of Mathematical Logic Razmadze Mathematical Institute M. Aleksidze Str","Department of Computer Science Universit\u00e0 degli Studi di Milano via Comelico 39 20135 Milano ITALY","Department of Mathematical Sciences New Mexico State University Las Cruces NM 88003 USA","Tbilisi 0193 GEORGIA"],"affiliations":[{"raw_affiliation_string":"Department of Mathematical Logic Razmadze Mathematical Institute M. Aleksidze Str","institution_ids":[]},{"raw_affiliation_string":"Department of Computer Science Universit\u00e0 degli Studi di Milano via Comelico 39 20135 Milano ITALY","institution_ids":[]},{"raw_affiliation_string":"Department of Mathematical Sciences New Mexico State University Las Cruces NM 88003 USA","institution_ids":["https://openalex.org/I10052268"]},{"raw_affiliation_string":"Tbilisi 0193 GEORGIA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5041352997"],"corresponding_institution_ids":["https://openalex.org/I10052268"],"apc_list":null,"apc_paid":null,"fwci":2.585,"has_fulltext":true,"cited_by_count":23,"citation_normalized_percentile":{"value":0.89008376,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"52","issue":"2","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9998000264167786,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9988999962806702,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9979000091552734,"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/subframe","display_name":"Subframe","score":0.9070295095443726},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.613868772983551},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5907838344573975},{"id":"https://openalex.org/keywords/algebraic-semantics","display_name":"Algebraic semantics","score":0.5900630950927734},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.5751259326934814},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5570815801620483},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.5147266387939453},{"id":"https://openalex.org/keywords/subalgebra","display_name":"Subalgebra","score":0.5093413591384888},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.4563522934913635},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.42882147431373596},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.4020337462425232},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3298737108707428},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2864677906036377},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10293355584144592},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.0707409679889679}],"concepts":[{"id":"https://openalex.org/C2776514898","wikidata":"https://www.wikidata.org/wiki/Q7631141","display_name":"Subframe","level":3,"score":0.9070295095443726},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.613868772983551},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5907838344573975},{"id":"https://openalex.org/C2779729104","wikidata":"https://www.wikidata.org/wiki/Q4724013","display_name":"Algebraic semantics","level":3,"score":0.5900630950927734},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.5751259326934814},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5570815801620483},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5147266387939453},{"id":"https://openalex.org/C67996461","wikidata":"https://www.wikidata.org/wiki/Q629933","display_name":"Subalgebra","level":3,"score":0.5093413591384888},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.4563522934913635},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.42882147431373596},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4020337462425232},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3298737108707428},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2864677906036377},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10293355584144592},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0707409679889679},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","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},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C138660444","wikidata":"https://www.wikidata.org/wiki/Q5607897","display_name":"Telecommunications link","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1215/00294527-1306190","is_oa":true,"landing_page_url":"https://doi.org/10.1215/00294527-1306190","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-52/issue-2/An-Algebraic-Approach-to-Subframe-Logics-Modal-Case/10.1215/00294527-1306190.pdf","source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.ndjfl/1303995714","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.ndjfl/1303995714","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.1215/00294527-1306190","is_oa":true,"landing_page_url":"https://doi.org/10.1215/00294527-1306190","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-52/issue-2/An-Algebraic-Approach-to-Subframe-Logics-Modal-Case/10.1215/00294527-1306190.pdf","source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320320283","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10"},{"id":"https://openalex.org/F4320322899","display_name":"Georgian National Science Foundation","ror":"https://ror.org/00xc87681"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2008144954.pdf","grobid_xml":"https://content.openalex.org/works/W2008144954.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W1480405493","https://openalex.org/W1603162778","https://openalex.org/W1964914154","https://openalex.org/W1998269853","https://openalex.org/W2050527500","https://openalex.org/W2071467583","https://openalex.org/W2090086476","https://openalex.org/W2096659378","https://openalex.org/W2133070229","https://openalex.org/W2135557157","https://openalex.org/W2137410044","https://openalex.org/W2144359719","https://openalex.org/W2155314032","https://openalex.org/W2160171357","https://openalex.org/W2286396437","https://openalex.org/W2311147650","https://openalex.org/W2610670723","https://openalex.org/W2970205057","https://openalex.org/W4388311772"],"related_works":["https://openalex.org/W2028144918","https://openalex.org/W3016746667","https://openalex.org/W2405321979","https://openalex.org/W1587059467","https://openalex.org/W119381390","https://openalex.org/W4287814874","https://openalex.org/W2962420748","https://openalex.org/W2008144954","https://openalex.org/W2035121342","https://openalex.org/W2157626909"],"abstract_inverted_index":{"We":[0],"prove":[1],"that":[2,38],"if":[3],"a":[4,10,18,25,28,58],"modal":[5],"formula":[6],"is":[7,15,22],"refuted":[8,16],"on":[9,17],"wK4-algebra":[11,20],"(B,\u25a1),":[12],"then":[13],"it":[14,75],"finite":[19,49],"which":[21],"isomorphic":[23],"to":[24,80],"subalgebra":[26],"of":[27,30,62,65],"relativization":[29],"(B,\u25a1).":[31],"As":[32],"an":[33],"immediate":[34],"consequence,":[35],"we":[36],"obtain":[37],"each":[39],"subframe":[40,43],"and":[41,67],"cofinal":[42],"logic":[44],"over":[45],"wK4":[46],"has":[47],"the":[48,53,63,72,77],"model":[50],"property.":[51],"On":[52,71],"one":[54],"hand,":[55,74],"this":[56],"provides":[57],"purely":[59],"algebraic":[60],"proof":[61],"results":[64,79],"Fine":[66],"Zakharyaschev":[68],"for":[69],"K4.":[70],"other":[73],"extends":[76],"Fine-Zakharyaschev":[78],"wK4.":[81]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2012,"cited_by_count":4}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}