{"id":"https://openalex.org/W2124576280","doi":"https://doi.org/10.2178/jsl/1122038925","title":"Products of \u2018transitive\u201d modal logics","display_name":"Products of \u2018transitive\u201d modal logics","publication_year":2005,"publication_date":"2005-07-22","ids":{"openalex":"https://openalex.org/W2124576280","doi":"https://doi.org/10.2178/jsl/1122038925","mag":"2124576280"},"language":"en","primary_location":{"id":"doi:10.2178/jsl/1122038925","is_oa":false,"landing_page_url":"https://doi.org/10.2178/jsl/1122038925","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033831417","display_name":"David Gabelaia","orcid":"https://orcid.org/0000-0002-8317-7949"},"institutions":[{"id":"https://openalex.org/I183935753","display_name":"King's College London","ror":"https://ror.org/0220mzb33","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"D. Gabelaia","raw_affiliation_strings":["Department of Computer Science, King's College London, Strand, London WC2R 2LS, UKE-mail:","Department of Computer Science, King's College London, Strand, London WC2R 2LS, UK-mail:, gabelaia@dcs.kcl.ac.uk"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, King's College London, Strand, London WC2R 2LS, UKE-mail:","institution_ids":["https://openalex.org/I183935753"]},{"raw_affiliation_string":"Department of Computer Science, King's College London, Strand, London WC2R 2LS, UK-mail:, gabelaia@dcs.kcl.ac.uk","institution_ids":["https://openalex.org/I183935753"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038619560","display_name":"Agi Kurucz","orcid":"https://orcid.org/0000-0002-6233-6277"},"institutions":[{"id":"https://openalex.org/I183935753","display_name":"King's College London","ror":"https://ror.org/0220mzb33","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"A. Kurucz","raw_affiliation_strings":["Department of Computer Science, King's College London, Strand, London WC2R 2LS, UKE-mail:","Informatics"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, King's College London, Strand, London WC2R 2LS, UKE-mail:","institution_ids":["https://openalex.org/I183935753"]},{"raw_affiliation_string":"Informatics","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010967150","display_name":"Frank Wolter","orcid":"https://orcid.org/0000-0002-4470-606X"},"institutions":[{"id":"https://openalex.org/I183935753","display_name":"King's College London","ror":"https://ror.org/0220mzb33","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"F. Wolter","raw_affiliation_strings":["Department of Computer Science, King's College London, Strand, London WC2R 2LS, UKE-mail:","Department of Computer Science, King's College London, Strand, London WC2R 2LS, UK-mail:, mz@dcs.kcl.ac.uk"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, King's College London, Strand, London WC2R 2LS, UKE-mail:","institution_ids":["https://openalex.org/I183935753"]},{"raw_affiliation_string":"Department of Computer Science, King's College London, Strand, London WC2R 2LS, UK-mail:, mz@dcs.kcl.ac.uk","institution_ids":["https://openalex.org/I183935753"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001878365","display_name":"Michael Zakharyaschev","orcid":"https://orcid.org/0000-0002-2210-5183"},"institutions":[{"id":"https://openalex.org/I146655781","display_name":"University of Liverpool","ror":"https://ror.org/04xs57h96","country_code":"GB","type":"education","lineage":["https://openalex.org/I146655781"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"M. Zakharyaschev","raw_affiliation_strings":["Department of Computer Science, University of Liverpool, Liverpool L69 7ZF, UKE-mail:","Department of Computer Science, University of Liverpool, Liverpool L69 7ZF, UK-mail:, frank@csc.liv.ac.uk"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Liverpool, Liverpool L69 7ZF, UKE-mail:","institution_ids":["https://openalex.org/I146655781"]},{"raw_affiliation_string":"Department of Computer Science, University of Liverpool, Liverpool L69 7ZF, UK-mail:, frank@csc.liv.ac.uk","institution_ids":["https://openalex.org/I146655781"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.6755,"has_fulltext":false,"cited_by_count":45,"citation_normalized_percentile":{"value":0.93276744,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"70","issue":"3","first_page":"993","last_page":"1021"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9957000017166138,"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.9957000017166138,"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.9822999835014343,"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.9735999703407288,"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/undecidable-problem","display_name":"Undecidable problem","score":0.861964225769043},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.852547824382782},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7600678205490112},{"id":"https://openalex.org/keywords/transitive-relation","display_name":"Transitive relation","score":0.6751114726066589},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.5417225360870361},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.511284351348877},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4719335734844208},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4314962327480316},{"id":"https://openalex.org/keywords/kripke-semantics","display_name":"Kripke semantics","score":0.4152998924255371},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.36251023411750793},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3521498143672943},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3307400941848755},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.13243988156318665}],"concepts":[{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.861964225769043},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.852547824382782},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7600678205490112},{"id":"https://openalex.org/C191399111","wikidata":"https://www.wikidata.org/wiki/Q64861","display_name":"Transitive relation","level":2,"score":0.6751114726066589},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.5417225360870361},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.511284351348877},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4719335734844208},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4314962327480316},{"id":"https://openalex.org/C160131679","wikidata":"https://www.wikidata.org/wiki/Q2462350","display_name":"Kripke semantics","level":4,"score":0.4152998924255371},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.36251023411750793},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3521498143672943},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3307400941848755},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.13243988156318665},{"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/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.2178/jsl/1122038925","is_oa":false,"landing_page_url":"https://doi.org/10.2178/jsl/1122038925","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.jsl/1122038925","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1122038925","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"},{"id":"pmh:oai:eprints.bbk.ac.uk.oai2:46486","is_oa":false,"landing_page_url":"https://eprints.bbk.ac.uk/id/eprint/46486/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400466","display_name":"BIROn (Birkbeck, University of London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98259816","host_organization_name":"Birkbeck, University of London","host_organization_lineage":["https://openalex.org/I98259816"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"},{"id":"pmh:oai:kclpure.kcl.ac.uk:publications/ecde4148-e36c-4d22-9a8e-e34f7e565db6","is_oa":false,"landing_page_url":"https://kclpure.kcl.ac.uk/portal/en/publications/ecde4148-e36c-4d22-9a8e-e34f7e565db6","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Gabelaia , D , Kurucz , A , Wolter , F & Zakharyaschev , M 2005 , ' Products of `transitive' modal logics ' , JOURNAL OF SYMBOLIC LOGIC , vol. 70 , no. 3 , pp. 993 - 1021 . https://doi.org/10.2178/jsl/1122038925","raw_type":"article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W834709404","https://openalex.org/W1485990531","https://openalex.org/W1489614395","https://openalex.org/W1501571921","https://openalex.org/W1510985212","https://openalex.org/W1515358688","https://openalex.org/W1536122896","https://openalex.org/W1539399145","https://openalex.org/W1545756346","https://openalex.org/W1592338896","https://openalex.org/W1966660950","https://openalex.org/W1966911791","https://openalex.org/W1978000758","https://openalex.org/W1998261607","https://openalex.org/W2002089154","https://openalex.org/W2002176884","https://openalex.org/W2004334891","https://openalex.org/W2004665970","https://openalex.org/W2016293897","https://openalex.org/W2017025480","https://openalex.org/W2019539243","https://openalex.org/W2040022302","https://openalex.org/W2040575807","https://openalex.org/W2062879749","https://openalex.org/W2066692146","https://openalex.org/W2090086476","https://openalex.org/W2095148612","https://openalex.org/W2118324648","https://openalex.org/W2123970780","https://openalex.org/W2128204593","https://openalex.org/W2138436353","https://openalex.org/W2146819619","https://openalex.org/W2166802518","https://openalex.org/W2180189393","https://openalex.org/W2286396437","https://openalex.org/W2615503087","https://openalex.org/W2970205057","https://openalex.org/W3134257814","https://openalex.org/W3140030144","https://openalex.org/W4302339081","https://openalex.org/W4388311772","https://openalex.org/W6629810137","https://openalex.org/W6649563776","https://openalex.org/W6654663888"],"related_works":["https://openalex.org/W2972379433","https://openalex.org/W1501430220","https://openalex.org/W2989332944","https://openalex.org/W2021891065","https://openalex.org/W2583549044","https://openalex.org/W2119045600","https://openalex.org/W2584984136","https://openalex.org/W2962928105","https://openalex.org/W2170336571","https://openalex.org/W2020140696"],"abstract_inverted_index":{"Abstract":[0],"We":[1],"solve":[2],"a":[3,182],"major":[4],"open":[5],"problem":[6],"concerning":[7],"algorithmic":[8],"properties":[9],"of":[10,12,22,58,68,93,112,147,152,167,190,194],"products":[11,19],"\u2018transitive\u2019":[13],"modal":[14],"logics":[15,25,170],"by":[16,103],"showing":[17],"that":[18,53,97],"and":[20,41,88,144,176],"commutators":[21,193],"such":[23,96],"standard":[24],"as":[26],"K4":[27,63,143],",":[28,30,32,34,36,126,129,156],"S4":[29],"S4.1":[31],"K4.3":[33],"GL":[35],"or":[37,71],"Grz":[38],"are":[39,91],"undecidable":[40,169],"do":[42],"not":[43],"have":[44],"the":[45,59,110,113,137,139,145,186],"finite":[46,70],"model":[47],"property.":[48],"More":[49],"generally,":[50],"we":[51,184],"prove":[52],"no":[54],"Kripke":[55,150,191,195],"complete":[56,196],"extension":[57],"commutator":[60],"[":[61],"K4,":[62],"]":[64],"with":[65],"product":[66,140],"frames":[67,95,151],"arbitrary":[69],"infinite":[72],"depth":[73,99,153],"(with":[74],"respect":[75],"to":[76,174],"both":[77],"accessibility":[78],"relations)":[79],"can":[80],"be":[81,101],"decidable.":[82],"In":[83],"particular,":[84],"if":[85],"l":[86,89,124,131],"1":[87,116,122,125,178,179],"2":[90,119,128,132],"classes":[92],"transitive":[94,149],"their":[98],"cannot":[100],"bounded":[102],"any":[104],"fixed":[105,159],"n":[106,155,160],"<":[107,161],"\u03c9,":[108,162],"then":[109],"logic":[111,146],"class":[114],"{5\u2111":[115],"\u00d7":[117],"\u2111":[118,121,127],"\u2223":[120],"\u2208":[123,130],"}":[133],"is":[134,163],"undecidable.":[135],"(On":[136],"contrary,":[138],"of,":[141],"say,":[142],"all":[148],"\u2264":[154],"for":[157],"some":[158],"decidable.)":[164],"The":[165],"complexity":[166],"these":[168],"ranges":[171],"from":[172],"r.e.":[173],"co-r.e.":[175],"\u03a0":[177],"-complete.":[180],"As":[181],"consequence,":[183],"give":[185],"first":[187],"known":[188],"examples":[189],"incomplete":[192],"logics.":[197]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":8}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}