{"id":"https://openalex.org/W7130514405","doi":"https://doi.org/10.1007/s10992-025-09823-5","title":"Expressive Power of Propositionally Quantified Modal Logics on Variable Domain Structures with Accessibility","display_name":"Expressive Power of Propositionally Quantified Modal Logics on Variable Domain Structures with Accessibility","publication_year":2026,"publication_date":"2026-02-01","ids":{"openalex":"https://openalex.org/W7130514405","doi":"https://doi.org/10.1007/s10992-025-09823-5"},"language":"en","primary_location":{"id":"doi:10.1007/s10992-025-09823-5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10992-025-09823-5","pdf_url":null,"source":{"id":"https://openalex.org/S161120620","display_name":"Journal of Philosophical Logic","issn_l":"0022-3611","issn":["0022-3611","1573-0433"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Philosophical 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/A5014520180","display_name":"Eliya Cohen","orcid":null},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Eliya Cohen","raw_affiliation_strings":["Department of Philosophy, University of Utah, Carolyn Tanner Irish Humanities Building, 215 South Central Campus Drive, Fourth Floor, Salt Lake City, 84112, Utah, USA","Division of Games, University of Utah, Building 72, 332 South 1400 East, Salt Lake City, 84112, Utah, USA"],"raw_orcid":"https://orcid.org/0000-0002-5395-8023","affiliations":[{"raw_affiliation_string":"Department of Philosophy, University of Utah, Carolyn Tanner Irish Humanities Building, 215 South Central Campus Drive, Fourth Floor, Salt Lake City, 84112, Utah, USA","institution_ids":["https://openalex.org/I223532165"]},{"raw_affiliation_string":"Division of Games, University of Utah, Building 72, 332 South 1400 East, Salt Lake City, 84112, Utah, USA","institution_ids":["https://openalex.org/I223532165"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5014520180"],"corresponding_institution_ids":["https://openalex.org/I223532165"],"apc_list":{"value":2190,"currency":"EUR","value_usd":2780},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.34540308,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"55","issue":"1","first_page":"51","last_page":"76"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.8532999753952026,"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.8532999753952026,"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/T10258","display_name":"Philosophy and Theoretical Science","score":0.054099999368190765,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.03530000150203705,"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/accessibility-relation","display_name":"Accessibility relation","score":0.8166000247001648},{"id":"https://openalex.org/keywords/normal-modal-logic","display_name":"Normal modal logic","score":0.7542999982833862},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.7361999750137329},{"id":"https://openalex.org/keywords/expressive-power","display_name":"Expressive power","score":0.6888999938964844},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.6618000268936157},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.6004999876022339},{"id":"https://openalex.org/keywords/t-norm-fuzzy-logics","display_name":"T-norm fuzzy logics","score":0.5712000131607056},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.5667999982833862},{"id":"https://openalex.org/keywords/modal-\u03bc-calculus","display_name":"Modal \u03bc-calculus","score":0.5583999752998352},{"id":"https://openalex.org/keywords/propositional-variable","display_name":"Propositional variable","score":0.5544000267982483}],"concepts":[{"id":"https://openalex.org/C11191006","wikidata":"https://www.wikidata.org/wiki/Q2663311","display_name":"Accessibility relation","level":4,"score":0.8166000247001648},{"id":"https://openalex.org/C114092440","wikidata":"https://www.wikidata.org/wiki/Q840226","display_name":"Normal modal logic","level":4,"score":0.7542999982833862},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.7361999750137329},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.6888999938964844},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.6618000268936157},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.6004999876022339},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.573199987411499},{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.5712000131607056},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.5667999982833862},{"id":"https://openalex.org/C173125200","wikidata":"https://www.wikidata.org/wiki/Q5275729","display_name":"Modal \u03bc-calculus","level":5,"score":0.5583999752998352},{"id":"https://openalex.org/C14523651","wikidata":"https://www.wikidata.org/wiki/Q3492863","display_name":"Propositional variable","level":4,"score":0.5544000267982483},{"id":"https://openalex.org/C78344899","wikidata":"https://www.wikidata.org/wiki/Q638442","display_name":"Modal operator","level":4,"score":0.5271000266075134},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.5184000134468079},{"id":"https://openalex.org/C192609573","wikidata":"https://www.wikidata.org/wiki/Q7388341","display_name":"S5","level":5,"score":0.5112000107765198},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.48249998688697815},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.45170000195503235},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4413999915122986},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.40939998626708984},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.39809998869895935},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3601999878883362},{"id":"https://openalex.org/C511192102","wikidata":"https://www.wikidata.org/wiki/Q5156948","display_name":"Comprehension","level":2,"score":0.34779998660087585},{"id":"https://openalex.org/C144701195","wikidata":"https://www.wikidata.org/wiki/Q10859910","display_name":"Theory","level":2,"score":0.32850000262260437},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.3273000121116638},{"id":"https://openalex.org/C32241873","wikidata":"https://www.wikidata.org/wiki/Q236975","display_name":"Classical logic","level":2,"score":0.30630001425743103},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3041999936103821},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.299699991941452},{"id":"https://openalex.org/C98224912","wikidata":"https://www.wikidata.org/wiki/Q6901647","display_name":"Monoidal t-norm logic","level":5,"score":0.2987000048160553},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.296999990940094},{"id":"https://openalex.org/C191222856","wikidata":"https://www.wikidata.org/wiki/Q655328","display_name":"Well-formed formula","level":5,"score":0.27399998903274536},{"id":"https://openalex.org/C136172866","wikidata":"https://www.wikidata.org/wiki/Q1088088","display_name":"Possible world","level":2,"score":0.2734000086784363},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.2671000063419342},{"id":"https://openalex.org/C107247716","wikidata":"https://www.wikidata.org/wiki/Q1347436","display_name":"Epistemic modal logic","level":4,"score":0.2662000060081482},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.25949999690055847},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.2531000077724457},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2524000108242035}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10992-025-09823-5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10992-025-09823-5","pdf_url":null,"source":{"id":"https://openalex.org/S161120620","display_name":"Journal of Philosophical Logic","issn_l":"0022-3611","issn":["0022-3611","1573-0433"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Philosophical Logic","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6651352047920227,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W93448613","https://openalex.org/W267114935","https://openalex.org/W1489060978","https://openalex.org/W1526348167","https://openalex.org/W1626579044","https://openalex.org/W1964850386","https://openalex.org/W1969118410","https://openalex.org/W1994385438","https://openalex.org/W2005451612","https://openalex.org/W2006418637","https://openalex.org/W2045033949","https://openalex.org/W2065586815","https://openalex.org/W2071786581","https://openalex.org/W2074092244","https://openalex.org/W2074944668","https://openalex.org/W2087011376","https://openalex.org/W2124207901","https://openalex.org/W2155581733","https://openalex.org/W2163197731","https://openalex.org/W2167907675","https://openalex.org/W2271927995","https://openalex.org/W2320863605","https://openalex.org/W2409123672","https://openalex.org/W2525757143","https://openalex.org/W2600918494","https://openalex.org/W2762302892","https://openalex.org/W2767593259","https://openalex.org/W2884150062","https://openalex.org/W2893109491","https://openalex.org/W2966380268","https://openalex.org/W2971728912","https://openalex.org/W2994698876","https://openalex.org/W3005753599","https://openalex.org/W4211144022","https://openalex.org/W4241831839","https://openalex.org/W4245009209","https://openalex.org/W4247797067","https://openalex.org/W4253210619","https://openalex.org/W4256024286","https://openalex.org/W7124249975"],"related_works":[],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-03-09T07:00:12.390032","created_date":"2026-02-19T00:00:00"}