{"id":"https://openalex.org/W2766996479","doi":"https://doi.org/10.23638/lmcs-15(1:30)2019","title":"Disjunctive bases: normal forms and model theory for modal logics","display_name":"Disjunctive bases: normal forms and model theory for modal logics","publication_year":2022,"publication_date":"2022-08-23","ids":{"openalex":"https://openalex.org/W2766996479","doi":"https://doi.org/10.23638/lmcs-15(1:30)2019","mag":"2766996479"},"language":"en","primary_location":{"id":"doi:10.23638/lmcs-15(1:30)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(1:30)2019","pdf_url":"https://lmcs.episciences.org/5313/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/5313/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5042482750","display_name":"Sebastian Enqvist","orcid":"https://orcid.org/0000-0002-8522-506X"},"institutions":[{"id":"https://openalex.org/I161593684","display_name":"Stockholm University","ror":"https://ror.org/05f0yaq80","country_code":"SE","type":"education","lineage":["https://openalex.org/I161593684"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"Sebastian Enqvist","raw_affiliation_strings":["Stockholm University, Department of Philosophy"],"affiliations":[{"raw_affiliation_string":"Stockholm University, Department of Philosophy","institution_ids":["https://openalex.org/I161593684"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5105920523","display_name":"Yde Venema","orcid":null},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Yde Venema","raw_affiliation_strings":["University of Amsterdam, Institute for Logic, Language and Computation"],"affiliations":[{"raw_affiliation_string":"University of Amsterdam, Institute for Logic, Language and Computation","institution_ids":["https://openalex.org/I887064364"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5042482750"],"corresponding_institution_ids":["https://openalex.org/I161593684"],"apc_list":null,"apc_paid":null,"fwci":0.1378,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.5027366,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"Volume 15, Issue 1","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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.9997000098228455,"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.9987000226974487,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9944000244140625,"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/modal","display_name":"Modal","score":0.7110717296600342},{"id":"https://openalex.org/keywords/accessibility-relation","display_name":"Accessibility relation","score":0.45515602827072144},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.44314947724342346},{"id":"https://openalex.org/keywords/normal-modal-logic","display_name":"Normal modal logic","score":0.4378575384616852},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3491358160972595},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3425303101539612},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3257419168949127},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.28514599800109863},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2784866690635681},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.0727120041847229},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.06319952011108398}],"concepts":[{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.7110717296600342},{"id":"https://openalex.org/C11191006","wikidata":"https://www.wikidata.org/wiki/Q2663311","display_name":"Accessibility relation","level":4,"score":0.45515602827072144},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.44314947724342346},{"id":"https://openalex.org/C114092440","wikidata":"https://www.wikidata.org/wiki/Q840226","display_name":"Normal modal logic","level":4,"score":0.4378575384616852},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3491358160972595},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3425303101539612},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3257419168949127},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.28514599800109863},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2784866690635681},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0727120041847229},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.06319952011108398},{"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}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.23638/lmcs-15(1:30)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(1:30)2019","pdf_url":"https://lmcs.episciences.org/5313/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1710.10706","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1710.10706","pdf_url":"https://arxiv.org/pdf/1710.10706","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:dare.uva.nl:openaire_cris_publications/aadd8432-e582-4cfc-af97-e2fed064762b","is_oa":true,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/disjunctive-bases-normal-forms-and-model-theory-for-modal-logics(aadd8432-e582-4cfc-af97-e2fed064762b).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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Enqvist, S & Venema, Y 2019, 'Disjunctive bases: normal forms and model theory for modal logics', Logical Methods in Computer Science, vol. 15, no. 1, 30. https://doi.org/10.23638/LMCS-15(1:30)2019","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:dare.uva.nl:publications/aadd8432-e582-4cfc-af97-e2fed064762b","is_oa":true,"landing_page_url":"https://arxiv.org/abs/1710.10706v6","pdf_url":"http://hdl.handle.net/11245.1/aadd8432-e582-4cfc-af97-e2fed064762b","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Enqvist, S & Venema, Y 2019, 'Disjunctive bases: normal forms and model theory for modal logics', Logical Methods in Computer Science, vol. 15, no. 1, 30. https://doi.org/10.23638/LMCS-15(1:30)2019","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:doaj.org/article:b494e59af076458e828fa1ecc6213c5e","is_oa":true,"landing_page_url":"https://doaj.org/article/b494e59af076458e828fa1ecc6213c5e","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 15, Issue 1 (2022)","raw_type":"article"},{"id":"pmh:uvapub:oai:dare.uva.nl:publications/aadd8432-e582-4cfc-af97-e2fed064762b","is_oa":true,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/disjunctive-bases-normal-forms-and-model-theory-for-modal-logics(aadd8432-e582-4cfc-af97-e2fed064762b).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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, 15(1):30. Technischen Universitat Braunschweig","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.23638/lmcs-15(1:30)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(1:30)2019","pdf_url":"https://lmcs.episciences.org/5313/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2766996479.pdf","grobid_xml":"https://content.openalex.org/works/W2766996479.grobid-xml"},"referenced_works_count":36,"referenced_works":["https://openalex.org/W193053345","https://openalex.org/W1516264096","https://openalex.org/W1532044601","https://openalex.org/W1539385324","https://openalex.org/W1771944222","https://openalex.org/W1982431152","https://openalex.org/W1985915951","https://openalex.org/W2015640848","https://openalex.org/W2046881047","https://openalex.org/W2048565204","https://openalex.org/W2048905609","https://openalex.org/W2050755555","https://openalex.org/W2077519384","https://openalex.org/W2108138932","https://openalex.org/W2111402410","https://openalex.org/W2115452397","https://openalex.org/W2120360673","https://openalex.org/W2124110813","https://openalex.org/W2124810483","https://openalex.org/W2133256831","https://openalex.org/W2153364044","https://openalex.org/W2159650054","https://openalex.org/W2167981859","https://openalex.org/W2244349542","https://openalex.org/W2250074872","https://openalex.org/W2554804133","https://openalex.org/W2610614043","https://openalex.org/W2724355227","https://openalex.org/W2790839061","https://openalex.org/W2911841147","https://openalex.org/W3102535931","https://openalex.org/W3105604159","https://openalex.org/W3189472968","https://openalex.org/W6658842655","https://openalex.org/W6662446806","https://openalex.org/W6729576561"],"related_works":["https://openalex.org/W2171395754","https://openalex.org/W2101793126","https://openalex.org/W2787168481","https://openalex.org/W4318188140","https://openalex.org/W2795425183","https://openalex.org/W4310201982","https://openalex.org/W4287372193","https://openalex.org/W2188462059","https://openalex.org/W3122667086","https://openalex.org/W2028144918"],"abstract_inverted_index":{"We":[0,69,144,201],"present":[1],"the":[2,41,52,72,79,119,137,147,233,255],"concept":[3,53],"of":[4,43,74,85,215,224,235,240,254],"a":[5,9,37,44,55,75,83,89,94,115,131,150,237,245,251],"disjunctive":[6,76,151,156,168,180,205,228,241],"basis":[7,77,152],"as":[8],"generic":[10,45],"framework":[11],"for":[12,30,48,88,118,135,170,221],"normal":[13,184],"forms":[14,185],"in":[15,25,40,65,92],"modal":[16,31,173,199,217,225],"logic":[17],"based":[18],"on":[19,28,111,260],"coalgebra.":[20],"Disjunctive":[21],"bases":[22,157,169,181,206],"were":[23],"defined":[24],"previous":[26],"work":[27],"completeness":[29,46],"fixpoint":[32,121],"logics,":[33,174,218],"where":[34,179],"they":[35],"played":[36],"central":[38],"role":[39],"proof":[42],"theorem":[47,96,117],"coalgebraic":[49,90,162,172,216],"mu-calculi.":[50],"Believing":[51],"has":[54],"much":[56],"wider":[57],"significance,":[58],"here":[59],"we":[60,113,231],"investigate":[61],"it":[62],"more":[63],"thoroughly":[64],"its":[66,123,127,141],"own":[67],"right.":[68],"show":[70,203],"that":[71,98,204],"presence":[73],"at":[78],""one-step"":[80],"level":[81],"entails":[82],"number":[84],"good":[86],"properties":[87],"mu-calculus,":[91],"particular,":[93],"simulation":[95],"showing":[97],"every":[99],"alternating":[100],"automaton":[101],"can":[102],"be":[103],"transformed":[104],"into":[105],"an":[106],"equivalent":[107],"nondeterministic":[108],"one.":[109],"Based":[110],"this,":[112],"prove":[114],"Lyndon":[116],"full":[120,138],"logic,":[122],"fixpoint-free":[124,142],"fragment":[125],"and":[126,130,140,154,213,243],"one-step":[128],"fragment,":[129],"Uniform":[132],"Interpolation":[133],"result,":[134],"both":[136],"mu-calculus":[139],"fragment.":[143],"also":[145,202],"raise":[146],"questions,":[148],"when":[149,187],"exists,":[153],"how":[155],"are":[158,177,207],"related":[159],"to":[160,191],"Moss'":[161],""nabla"":[163],"modalities.":[164],"Nabla":[165],"formulas":[166,189],"provide":[167,244],"many":[171],"but":[175],"there":[176],"cases":[178],"give":[182],"useful":[183],"even":[186],"nabla":[188],"fail":[190],"do":[192],"so,":[193],"our":[194],"prime":[195],"example":[196],"being":[197],"graded":[198],"logic.":[200],"preserved":[208],"by":[209],"forming":[210],"sums,":[211],"products":[212],"compositions":[214],"providing":[219],"tools":[220],"modular":[222],"construction":[223],"logics":[226],"admitting":[227],"bases.":[229],"Finally,":[230],"consider":[232],"problem":[234],"giving":[236],"category-theoretic":[238],"formulation":[239],"bases,":[242],"partial":[246],"solution.":[247],"Comment:":[248],"This":[249],"is":[250],"corrected":[252],"version":[253],"paper":[256],"arXiv:1710.10706":[257],"published":[258],"originally":[259],"26/3,":[261],"2019":[262]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2026-03-17T09:09:15.849793","created_date":"2025-10-10T00:00:00"}