{"id":"https://openalex.org/W2095148612","doi":"https://doi.org/10.2307/2275372","title":"Canonical formulas for K4. Part I: Basic results","display_name":"Canonical formulas for K4. Part I: Basic results","publication_year":1992,"publication_date":"1992-12-01","ids":{"openalex":"https://openalex.org/W2095148612","doi":"https://doi.org/10.2307/2275372","mag":"2095148612"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.2307/2275372","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"The Journal of Symbolic Logic","issn_l":"0022-4812","issn":["1943-5886","0022-4812"],"is_oa":false,"is_in_doaj":false,"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,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-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/A5001878365","display_name":"Michael Zakharyaschev","orcid":null},"institutions":[{"id":"https://openalex.org/I86427540","display_name":"Keldysh Institute of Applied Mathematics","ror":"https://ror.org/01dv3hq14","country_code":"RU","type":"facility","lineage":["https://openalex.org/I4210124601","https://openalex.org/I86427540"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"Michael Zakharyaschev","raw_affiliation_string":"Keldysh Institute of Applied Mathematics, Russian Academy of Sciences, Miusskaya SQ. 4, 125047 Moscow, Russia","raw_affiliation_strings":["Keldysh Institute of Applied Mathematics, Russian Academy of Sciences, Miusskaya SQ. 4, 125047 Moscow, Russia"]}],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5001878365"],"corresponding_institution_ids":["https://openalex.org/I86427540"],"apc_list":null,"apc_paid":null,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":45,"cited_by_percentile_year":{"min":93,"max":94},"biblio":{"volume":"57","issue":"4","first_page":"1377","last_page":"1402"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic Programming and Knowledge Representation","score":0.937,"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 Programming and Knowledge Representation","score":0.937,"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":"Program Analysis and Verification Techniques","score":0.9343,"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":[{"keyword":"canonical formulas","score":0.6178},{"keyword":"basic results","score":0.3566}],"concepts":[{"id":"https://openalex.org/C2776514898","wikidata":"https://www.wikidata.org/wiki/Q7631141","display_name":"Subframe","level":3,"score":0.84874475},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.8234947},{"id":"https://openalex.org/C191399111","wikidata":"https://www.wikidata.org/wiki/Q64861","display_name":"Transitive relation","level":2,"score":0.72902495},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7177638},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6430454},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.57092714},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.50300187},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.48148358},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.47095662},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.45544907},{"id":"https://openalex.org/C126042441","wikidata":"https://www.wikidata.org/wiki/Q1324888","display_name":"Frame (networking)","level":2,"score":0.45020336},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.44048783},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.42686328},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.39127487},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.28040352},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.19350713},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.13230935},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.07507476},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"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/C138660444","wikidata":"https://www.wikidata.org/wiki/Q5607897","display_name":"Telecommunications link","level":2,"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/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","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/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.2307/2275372","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"The Journal of Symbolic Logic","issn_l":"0022-4812","issn":["1943-5886","0022-4812"],"is_oa":false,"is_in_doaj":false,"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,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.47,"display_name":"Peace, justice, and strong institutions","id":"https://metadata.un.org/sdg/16"}],"grants":[],"referenced_works_count":5,"referenced_works":["https://openalex.org/W64416701","https://openalex.org/W1992056012","https://openalex.org/W2005652953","https://openalex.org/W2008952614","https://openalex.org/W2118313805"],"related_works":["https://openalex.org/W2006610124","https://openalex.org/W4311299684","https://openalex.org/W1850316734","https://openalex.org/W4360831352","https://openalex.org/W2392684677","https://openalex.org/W2279289911","https://openalex.org/W2392488746","https://openalex.org/W2051375466","https://openalex.org/W2370949617","https://openalex.org/W2468865112"],"ngrams_url":"https://api.openalex.org/works/W2095148612/ngrams","abstract_inverted_index":{"This":[0,140,216],"paper":[1],"presents":[2],"a":[3,39,76,95,274],"new":[4],"technique":[5,24],"for":[6,86,228],"handling":[7],"modal":[8,17],"logics":[9,236,263,269,278],"with":[10,175],"transitive":[11,60],"frames,":[12],"i.e.":[13],"extensions":[14],"of":[15,58,99,181,206,234,246,270,276],"the":[16,23,28,56,168,178,188,212,229,232,240,244],"system":[18],"K":[19,182,247],"4.":[20],"In":[21],"effect,":[22],"is":[25,94,105,111,121,194],"based":[26],"on":[27],"following":[29],"fundamental":[30],"result,":[31],"to":[32,107],"be":[33],"obtained":[34],"below":[35],"in":[36,113,119,123,134,167],"\u00a73.":[37],"Given":[38],"formula":[40],"\u03c6":[41,64,73,138,162,186,209],",":[42,50,85,114,136,171],"we":[43,103],"can":[44],"effectively":[45],"construct":[46],"finite":[47,189,213],"frames":[48,62,169],"1":[49,170],"\u2026,":[51,91,172],"n":[52,92,173],"which":[53,130],"completely":[54],"characterize":[55],"set":[57,205],"all":[59,239,251,262,267],"general":[61,70],"refuting":[63],".":[65,139],"More":[66],"exactly,":[67],"an":[68],"arbitrary":[69],"frame":[71],"refutes":[72],"iff":[74],"contains":[75,237],"(not":[77],"necessarily":[78],"generated)":[79],"subframe":[80,268],"such":[81,207,235],"that":[82,120,160,231],"(1)":[83],"i":[84,88,108,135],"some":[87],"\u03f5":[89],"{1,":[90],"},":[93],"p":[96],"-morphic":[97],"image":[98],"(after":[100],"Fine":[101,271],"[1985]":[102],"say":[104],"subreducible":[106],"),":[109],"(2)":[110],"cofinal":[112],"and":[115,151,192,259,273],"(3)":[116],"every":[117,197],"point":[118],"not":[122,125,219,227],"does":[124],"get":[126],"into":[127],"\u201cclosed":[128],"domains\u201d":[129],"are":[131],"uniquely":[132],"determined":[133],"by":[137,185,201,254],"purely":[141],"technical":[142],"result":[143],"has,":[144],"as":[145,279],"it":[146,156,226],"turns":[147],"out,":[148],"rather":[149],"unexpected":[150],"profound":[152],"consequences.":[153],"For":[154],"instance,":[155],"follows":[157],"at":[158],"once":[159],"if":[161],"determines":[163],"no":[164],"closed":[165],"domains":[166],"associated":[174],"it,":[176],"then":[177],"normal":[179,198],"extension":[180],"4":[183,248],"generated":[184],"has":[187,211],"model":[190,214],"property":[191],"so":[193],"decidable.":[195],"Moreover,":[196],"logic":[199],"axiomatizable":[200],"any":[202,222],"(even":[203],"infinite)":[204],"formulas":[208],"also":[210],"property.":[215],"observation":[217],"would":[218],"possibly":[220],"merit":[221],"special":[223],"attention,":[224],"were":[225],"fact":[230],"class":[233],"almost":[238],"standard":[241],"systems":[242],"within":[243],"field":[245],"(at":[249],"least":[250],"those":[252],"mentioned":[253],"Segerberg":[255,260],"[1971]":[256],"or":[257],"Bull":[258],"[1984]),":[261],"containing":[264],"S":[265],"4.3,":[266],"[1985],":[272],"continuum":[275],"other":[277],"well.":[280]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2095148612","counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2024-03-23T06:19:01.927976","created_date":"2016-06-24"}