{"id":"https://openalex.org/W2106630772","doi":"https://doi.org/10.2307/2272167","title":"Categories of frames for modal logic","display_name":"Categories of frames for modal logic","publication_year":1975,"publication_date":"1975-09-01","ids":{"openalex":"https://openalex.org/W2106630772","doi":"https://doi.org/10.2307/2272167","mag":"2106630772"},"language":"en","primary_location":{"id":"doi:10.2307/2272167","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2272167","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/A5045940955","display_name":"S. K. Thomason","orcid":null},"institutions":[{"id":"https://openalex.org/I18014758","display_name":"Simon Fraser University","ror":"https://ror.org/0213rcc28","country_code":"CA","type":"education","lineage":["https://openalex.org/I18014758"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"S. K. Thomason","raw_affiliation_strings":["Simon Fraser University, Burnaby, British Columbia, Canada V5A 1S6"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Simon Fraser University, Burnaby, British Columbia, Canada V5A 1S6","institution_ids":["https://openalex.org/I18014758"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5045940955"],"corresponding_institution_ids":["https://openalex.org/I18014758"],"apc_list":{"value":3550,"currency":"USD","value_usd":3550},"apc_paid":null,"fwci":0.5324,"has_fulltext":false,"cited_by_count":61,"citation_normalized_percentile":{"value":0.67288557,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"40","issue":"3","first_page":"439","last_page":"442"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9800999760627747,"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.9800999760627747,"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.9624999761581421,"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/mathematics","display_name":"Mathematics","score":0.7485198378562927},{"id":"https://openalex.org/keywords/homomorphism","display_name":"Homomorphism","score":0.7096043229103088},{"id":"https://openalex.org/keywords/unary-operation","display_name":"Unary operation","score":0.6047484278678894},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.5399622321128845},{"id":"https://openalex.org/keywords/universal-algebra","display_name":"Universal algebra","score":0.5391703844070435},{"id":"https://openalex.org/keywords/identity","display_name":"Identity (music)","score":0.49398523569107056},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.49307820200920105},{"id":"https://openalex.org/keywords/modal-operator","display_name":"Modal operator","score":0.46783247590065},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.45761173963546753},{"id":"https://openalex.org/keywords/duality","display_name":"Duality (order theory)","score":0.4564100205898285},{"id":"https://openalex.org/keywords/noetherian","display_name":"Noetherian","score":0.4346972703933716},{"id":"https://openalex.org/keywords/kripke-semantics","display_name":"Kripke semantics","score":0.43394869565963745},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.423897922039032},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.4075385630130768}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7485198378562927},{"id":"https://openalex.org/C4042151","wikidata":"https://www.wikidata.org/wiki/Q215111","display_name":"Homomorphism","level":2,"score":0.7096043229103088},{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.6047484278678894},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.5399622321128845},{"id":"https://openalex.org/C188971069","wikidata":"https://www.wikidata.org/wiki/Q1636734","display_name":"Universal algebra","level":3,"score":0.5391703844070435},{"id":"https://openalex.org/C2778355321","wikidata":"https://www.wikidata.org/wiki/Q17079427","display_name":"Identity (music)","level":2,"score":0.49398523569107056},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.49307820200920105},{"id":"https://openalex.org/C78344899","wikidata":"https://www.wikidata.org/wiki/Q638442","display_name":"Modal operator","level":4,"score":0.46783247590065},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.45761173963546753},{"id":"https://openalex.org/C2778023678","wikidata":"https://www.wikidata.org/wiki/Q554403","display_name":"Duality (order theory)","level":2,"score":0.4564100205898285},{"id":"https://openalex.org/C2779057376","wikidata":"https://www.wikidata.org/wiki/Q3342676","display_name":"Noetherian","level":3,"score":0.4346972703933716},{"id":"https://openalex.org/C160131679","wikidata":"https://www.wikidata.org/wiki/Q2462350","display_name":"Kripke semantics","level":4,"score":0.43394869565963745},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.423897922039032},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.4075385630130768},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","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},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2272167","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2272167","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/1183739475","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183739475","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":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W1537512744","https://openalex.org/W1545797722","https://openalex.org/W1865723969","https://openalex.org/W2046750700"],"related_works":["https://openalex.org/W36170559","https://openalex.org/W188071896","https://openalex.org/W2138971738","https://openalex.org/W2105377600","https://openalex.org/W391095208","https://openalex.org/W2092900072","https://openalex.org/W3122972775","https://openalex.org/W4288043305","https://openalex.org/W2617414190","https://openalex.org/W4300860517"],"abstract_inverted_index":{"\u00a71.":[0],"A":[1,20],"complete":[2,9,164,176],"atomic":[3,10],"modal":[4,82,92,123],"algebra":[5,12,93,132],"(CAMA)":[6],"is":[7,23,33,37,52,56,60,85,139,240],"a":[8,25,29,34,38,53,57,81,91,235],"Boolean":[11],"with":[13,173,186],"an":[14],"additional":[15],"completely":[16],"additive":[17],"unary":[18],"operator.":[19],"(Kripke)":[21],"frame":[22],"just":[24],"binary":[26],"relation":[27],"on":[28,84,103,116,154,206,216],"nonempty":[30],"set.":[31],"If":[32],"frame,":[35,58],"then":[36,55],"CAMA,":[39],"where":[40,59],"mX":[41],"=":[42],"{y":[43],"\u2223":[44],"(\u2203x)(y":[45],"<":[46,68],"x":[47],"\u0404":[48],"X)};":[49],"and":[50,66,77,97,125,163,167,175,183,189,197,208],"if":[51],"CAMA":[54],"the":[61,78,88,100,113,128,135,144,147,169,212,232,242],"set":[62],"of":[63,65,80,90,127,130,146,161,171,184,220,246],"atoms":[64],"b1":[67,71],"b2":[69],"\u21d4":[70],"\u2229":[72],"mb2":[73],"\u2260\u2205.":[74],"Now":[75],",":[76],"validity":[79],"formula":[83],"equivalent":[86,111],"to":[87,106,112,134,141,192,196,210,238],"satisfaction":[89],"polynomial":[94],"identity":[95],"by":[96],"conversely,":[98],"so":[99,137],"validity-preserving":[101,214],"constructions":[102,115,153,205,215],"frames":[104,185],"ought":[105],"be":[107,157,168,193],"in":[108,159,241],"some":[109,223],"sense":[110,145],"identity-preserving":[114,152,204],"CAMA's.":[117],"The":[118,149,218],"former":[119],"are":[120],"important":[121,151],"for":[122],"logic,":[124],"many":[126],"results":[129],"universal":[131],"apply":[133],"latter,":[136],"it":[138],"worthwhile":[140],"fix":[142],"precisely":[143],"equivalence.":[148],"most":[150],"CAMA's":[155,172,207],"can":[156],"described":[158],"terms":[160],"homomorphisms":[162,174],"homomorphisms.":[165],"Let":[166],"categories":[170,182],"homomorphisms,":[177],"respectively.":[178],"We":[179],"shall":[180,201],"define":[181],"appropriate":[187],"morphisms,":[188],"show":[190],"them":[191],"dual":[194],"respectively":[195],".":[198],"Then":[199],"we":[200],"consider":[202],"certain":[203],"attempt":[209],"describe":[211],"corresponding":[213],"frames.":[217],"proofs":[219],"duality":[221],"involve":[222],"rather":[224],"detailed":[225],"calculations,":[226],"which":[227],"have":[228],"been":[229],"omitted.":[230],"All":[231],"category":[233],"theory":[234],"reader":[236],"needs":[237],"know":[239],"first":[243],"twenty":[244],"pages":[245],"[7].":[247]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}