{"id":"https://openalex.org/W2136147947","doi":"https://doi.org/10.2307/2273696","title":"Canonical modal logics and ultrafilter extensions","display_name":"Canonical modal logics and ultrafilter extensions","publication_year":1979,"publication_date":"1979-03-01","ids":{"openalex":"https://openalex.org/W2136147947","doi":"https://doi.org/10.2307/2273696","mag":"2136147947"},"language":"en","primary_location":{"id":"doi:10.2307/2273696","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2273696","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/A5109065573","display_name":"J.F.A.K. van Benthem","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"J. F. A. K. van Benthem","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5109065573"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.374,"has_fulltext":false,"cited_by_count":47,"citation_normalized_percentile":{"value":0.87667162,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"44","issue":"1","first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9865999817848206,"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.9865999817848206,"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.9657999873161316,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9373000264167786,"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/ultrafilter","display_name":"Ultrafilter","score":0.7706001996994019},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.730229377746582},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6654731631278992},{"id":"https://openalex.org/keywords/modal-operator","display_name":"Modal operator","score":0.6265662908554077},{"id":"https://openalex.org/keywords/normal-modal-logic","display_name":"Normal modal logic","score":0.614385187625885},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.5536177158355713},{"id":"https://openalex.org/keywords/s5","display_name":"S5","score":0.5344860553741455},{"id":"https://openalex.org/keywords/modal-\u03bc-calculus","display_name":"Modal \u03bc-calculus","score":0.5339872241020203},{"id":"https://openalex.org/keywords/accessibility-relation","display_name":"Accessibility relation","score":0.5048728585243225},{"id":"https://openalex.org/keywords/unary-operation","display_name":"Unary operation","score":0.4926148056983948},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.44817814230918884},{"id":"https://openalex.org/keywords/duality","display_name":"Duality (order theory)","score":0.4145907461643219},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3986583650112152},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.39618316292762756},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3508739471435547}],"concepts":[{"id":"https://openalex.org/C87598191","wikidata":"https://www.wikidata.org/wiki/Q1571831","display_name":"Ultrafilter","level":2,"score":0.7706001996994019},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.730229377746582},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6654731631278992},{"id":"https://openalex.org/C78344899","wikidata":"https://www.wikidata.org/wiki/Q638442","display_name":"Modal operator","level":4,"score":0.6265662908554077},{"id":"https://openalex.org/C114092440","wikidata":"https://www.wikidata.org/wiki/Q840226","display_name":"Normal modal logic","level":4,"score":0.614385187625885},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.5536177158355713},{"id":"https://openalex.org/C192609573","wikidata":"https://www.wikidata.org/wiki/Q7388341","display_name":"S5","level":5,"score":0.5344860553741455},{"id":"https://openalex.org/C173125200","wikidata":"https://www.wikidata.org/wiki/Q5275729","display_name":"Modal \u03bc-calculus","level":5,"score":0.5339872241020203},{"id":"https://openalex.org/C11191006","wikidata":"https://www.wikidata.org/wiki/Q2663311","display_name":"Accessibility relation","level":4,"score":0.5048728585243225},{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.4926148056983948},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.44817814230918884},{"id":"https://openalex.org/C2778023678","wikidata":"https://www.wikidata.org/wiki/Q554403","display_name":"Duality (order theory)","level":2,"score":0.4145907461643219},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3986583650112152},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.39618316292762756},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3508739471435547},{"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/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","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}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.2307/2273696","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2273696","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:dare.uva.nl:publications/50d1d228-1f49-4ef0-a871-188942fd8ef2","is_oa":false,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/canonical-modal-logics-and-ultrafilter-extensions(50d1d228-1f49-4ef0-a871-188942fd8ef2).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"van Benthem, J F A K 1979, 'Canonical Modal Logics and Ultrafilter Extensions', Journal of Symbolic Logic, vol. 44, no. 1, pp. 1-8.","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:uvapub:oai:dare.uva.nl:publications/50d1d228-1f49-4ef0-a871-188942fd8ef2","is_oa":false,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/canonical-modal-logics-and-ultrafilter-extensions(50d1d228-1f49-4ef0-a871-188942fd8ef2).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of Symbolic Logic, 44(1), 1 - 8. Cambridge University Press","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W5268957","https://openalex.org/W102788636","https://openalex.org/W1527588453","https://openalex.org/W1991153667","https://openalex.org/W2046750700","https://openalex.org/W2161004731","https://openalex.org/W4285719527","https://openalex.org/W6661849776"],"related_works":["https://openalex.org/W4233254255","https://openalex.org/W2534562289","https://openalex.org/W2188462059","https://openalex.org/W2795425183","https://openalex.org/W4318188140","https://openalex.org/W4246138424","https://openalex.org/W4377031878","https://openalex.org/W1582842241","https://openalex.org/W1521977880","https://openalex.org/W2554822349"],"abstract_inverted_index":{"In":[0,148],"this":[1,122],"paper":[2],"the":[3,28,41,59,102,145,155,207,234],"canonical":[4,133],"modal":[5,11,45,84,105,134,175,237],"logics,":[6],"a":[7,69,87,132,150,194,204],"kind":[8,151],"of":[9,30,44,49,64,77,90,131,152,159,185,260],"complete":[10,83],"logics":[12],"introduced":[13,137],"in":[14,97,111,127,140],"K.":[15,55],"Fine":[16],"[4]":[17,78],"and":[18,53,107,119,138,222,225,229,241],"R.":[19,50,112],"I.":[20,51,113],"Goldblatt":[21,52,114],"[5],":[22],"will":[23,66,124,251],"be":[24,125,178,252],"characterized":[25],"semantically":[26],"using":[27],"concept":[29,130],"an":[31,35,182],"ultrafilter":[32,163],"extension":[33],",":[34,192,201],"operation":[36],"on":[37,170],"frames":[38,65,91,109],"inspired":[39],"by":[40,254,262],"algebraic":[42],"theory":[43,123],"logic.":[46],"Theorem":[47,75],"8":[48],"S.":[54],"Thomason":[56],"[6]":[57],"characterizing":[58],"modally":[60],"definable":[61],"\u03a3\u22bf-elementary":[62,88],"classes":[63],"follow":[67],"as":[68,232,247],"corollary.":[70],"A":[71],"second":[72],"corollary":[73],"is":[74,92,101,136,172],"2":[76],"which":[79,142],"states":[80],"that":[81],"any":[82],"logic":[85,135],"defining":[86],"class":[89],"canonical.":[93],"The":[94,116,129,174],"main":[95],"tool":[96],"obtaining":[98],"these":[99],"results":[100,120],"duality":[103],"between":[104],"algebras":[106],"general":[108],"developed":[110],"[5].":[115],"relevant":[117,168],"notions":[118],"from":[121],"stated":[126],"\u00a72.":[128],"motivated":[139],"\u00a73,":[141],"also":[143],"contains":[144],"above-mentioned":[146],"theorems.":[147],"\u00a74,":[149],"appendix":[153],"to":[154,177],"preceding":[156],"discussion,":[157],"preservation":[158],"first-order":[160],"sentences":[161],"under":[162],"extensions":[164],"(and":[165],"some":[166],"other":[167],"operations":[169],"frames)":[171],"discussed.":[173],"language":[176],"considered":[179],"here":[180],"has":[181],"infinite":[183],"supply":[184],"proposition":[186],"letters":[187],"(":[188],"p,":[189],"q,":[190],"r":[191],"\u2026),":[193,221],"propositional":[195],"constant":[196],"\u22a5":[197],"(the":[198],"so-called":[199],"falsum":[200],"standing":[202],"for":[203],"fixed":[205],"contradiction),":[206],"usual":[208],"Boolean":[209],"operators":[210,238],"\u00ac":[211,228],"(not),":[212],"\u2228":[213,215,230],"(or),":[214],"(and),":[216],"\u2192":[217],"(if":[218,224],"\u2026":[219],"then":[220],"\u2194":[223],"only":[226],"if)\u2014with":[227],"regarded":[231,246],"primitives\u2014and":[233],"two":[235],"unary":[236],"\u25c7":[239,244],"(possibly)":[240],"\u25a1":[242],"(necessarily)\u2014":[243],"being":[245],"primitive.":[248],"Modal":[249],"formulas":[250,261],"denoted":[253],"lower":[255],"case":[256],"Greek":[257,263],"letters,":[258],"sets":[259],"capitals.":[264]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}