{"id":"https://openalex.org/W4324064327","doi":"https://doi.org/10.1017/s1755020323000059","title":"AN ALGORITHMIC IMPOSSIBLE-WORLDS MODEL OF BELIEF AND KNOWLEDGE","display_name":"AN ALGORITHMIC IMPOSSIBLE-WORLDS MODEL OF BELIEF AND KNOWLEDGE","publication_year":2023,"publication_date":"2023-03-13","ids":{"openalex":"https://openalex.org/W4324064327","doi":"https://doi.org/10.1017/s1755020323000059"},"language":"en","primary_location":{"id":"doi:10.1017/s1755020323000059","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1017/s1755020323000059","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/DE4B7293D6983D554E7DB2ED020C75C3/S1755020323000059a.pdf/div-class-title-an-algorithmic-impossible-worlds-model-of-belief-and-knowledge-div.pdf","source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Review of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/DE4B7293D6983D554E7DB2ED020C75C3/S1755020323000059a.pdf/div-class-title-an-algorithmic-impossible-worlds-model-of-belief-and-knowledge-div.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5031202261","display_name":"Zeynep Soysal","orcid":"https://orcid.org/0000-0002-7573-3239"},"institutions":[{"id":"https://openalex.org/I5388228","display_name":"University of Rochester","ror":"https://ror.org/022kthw22","country_code":"US","type":"education","lineage":["https://openalex.org/I5388228"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"ZEYNEP SOYSAL","raw_affiliation_strings":["DEPARTMENT OF PHILOSOPHY UNIVERSITY OF ROCHESTER 532 LATTIMORE HALL 435 ALUMNI ROAD ROCHESTER, NY 14627-0078 USA E-mail:"],"raw_orcid":"https://orcid.org/0000-0002-7573-3239","affiliations":[{"raw_affiliation_string":"DEPARTMENT OF PHILOSOPHY UNIVERSITY OF ROCHESTER 532 LATTIMORE HALL 435 ALUMNI ROAD ROCHESTER, NY 14627-0078 USA E-mail:","institution_ids":["https://openalex.org/I5388228"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5031202261"],"corresponding_institution_ids":["https://openalex.org/I5388228"],"apc_list":{"value":3550,"currency":"USD","value_usd":3550},"apc_paid":{"value":3550,"currency":"USD","value_usd":3550},"fwci":2.2022,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.87174563,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"17","issue":"2","first_page":"586","last_page":"610"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11477","display_name":"Epistemology, Ethics, and Metaphysics","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1211","display_name":"Philosophy"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11477","display_name":"Epistemology, Ethics, and Metaphysics","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1211","display_name":"Philosophy"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.998199999332428,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9686999917030334,"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/computer-science","display_name":"Computer science","score":0.6863821744918823},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.5432946681976318},{"id":"https://openalex.org/keywords/epistemic-modal-logic","display_name":"Epistemic modal logic","score":0.512076199054718},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4912416338920593},{"id":"https://openalex.org/keywords/possible-world","display_name":"Possible world","score":0.4795096218585968},{"id":"https://openalex.org/keywords/common-ground","display_name":"Common ground","score":0.4220598042011261},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3856218159198761},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.3472696542739868},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.22214069962501526},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.2020975649356842},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.1576818823814392},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.1280900537967682},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.11664536595344543},{"id":"https://openalex.org/keywords/social-psychology","display_name":"Social psychology","score":0.1022157073020935}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6863821744918823},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.5432946681976318},{"id":"https://openalex.org/C107247716","wikidata":"https://www.wikidata.org/wiki/Q1347436","display_name":"Epistemic modal logic","level":4,"score":0.512076199054718},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4912416338920593},{"id":"https://openalex.org/C136172866","wikidata":"https://www.wikidata.org/wiki/Q1088088","display_name":"Possible world","level":2,"score":0.4795096218585968},{"id":"https://openalex.org/C2777877512","wikidata":"https://www.wikidata.org/wiki/Q1116097","display_name":"Common ground","level":2,"score":0.4220598042011261},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3856218159198761},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.3472696542739868},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.22214069962501526},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.2020975649356842},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.1576818823814392},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.1280900537967682},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.11664536595344543},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","level":1,"score":0.1022157073020935}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s1755020323000059","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1017/s1755020323000059","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/DE4B7293D6983D554E7DB2ED020C75C3/S1755020323000059a.pdf/div-class-title-an-algorithmic-impossible-worlds-model-of-belief-and-knowledge-div.pdf","source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Review of Symbolic Logic","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1017/s1755020323000059","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1017/s1755020323000059","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/DE4B7293D6983D554E7DB2ED020C75C3/S1755020323000059a.pdf/div-class-title-an-algorithmic-impossible-worlds-model-of-belief-and-knowledge-div.pdf","source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Review of Symbolic Logic","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320326505","display_name":"Universit\u00e4t Konstanz","ror":"https://ror.org/0546hnb39"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4324064327.pdf","grobid_xml":"https://content.openalex.org/works/W4324064327.grobid-xml"},"referenced_works_count":50,"referenced_works":["https://openalex.org/W69507710","https://openalex.org/W1495010947","https://openalex.org/W1862346187","https://openalex.org/W1946994797","https://openalex.org/W1973154161","https://openalex.org/W1975592408","https://openalex.org/W1982345502","https://openalex.org/W1990770699","https://openalex.org/W1994248508","https://openalex.org/W2043244827","https://openalex.org/W2043468053","https://openalex.org/W2045165445","https://openalex.org/W2058889108","https://openalex.org/W2061470644","https://openalex.org/W2072770068","https://openalex.org/W2082936497","https://openalex.org/W2085158502","https://openalex.org/W2114562941","https://openalex.org/W2162829624","https://openalex.org/W2231958229","https://openalex.org/W2314330590","https://openalex.org/W2529466265","https://openalex.org/W2598639751","https://openalex.org/W2612909414","https://openalex.org/W2762642064","https://openalex.org/W2884822640","https://openalex.org/W2899963437","https://openalex.org/W2913009136","https://openalex.org/W2947313222","https://openalex.org/W3104940903","https://openalex.org/W3111112791","https://openalex.org/W3127507699","https://openalex.org/W3140030144","https://openalex.org/W3193689859","https://openalex.org/W4212878994","https://openalex.org/W4229048293","https://openalex.org/W4230141785","https://openalex.org/W4231087621","https://openalex.org/W4233653495","https://openalex.org/W4234570595","https://openalex.org/W4236717960","https://openalex.org/W4238821424","https://openalex.org/W4246782097","https://openalex.org/W4251950954","https://openalex.org/W4252926324","https://openalex.org/W4253158746","https://openalex.org/W4256431433","https://openalex.org/W6670286867","https://openalex.org/W6744808962","https://openalex.org/W6807706778"],"related_works":["https://openalex.org/W2299748756","https://openalex.org/W2392350742","https://openalex.org/W2387273741","https://openalex.org/W2378031046","https://openalex.org/W111991431","https://openalex.org/W2515131862","https://openalex.org/W1569687798","https://openalex.org/W2085158502","https://openalex.org/W3080880417","https://openalex.org/W2898471793"],"abstract_inverted_index":{"Abstract":[0],"In":[1,42],"this":[2],"paper,":[3],"I":[4,103],"develop":[5],"an":[6,48,127],"algorithmic":[7,110],"impossible-worlds":[8,128],"model":[9,45,84,106,131],"of":[10,39,137],"belief":[11,91],"and":[12,28,68,92,118,150],"knowledge":[13,93],"that":[14,21,23,30,47,63,90],"provides":[15],"a":[16],"middle":[17],"ground":[18,94],"between":[19],"models":[20,111,141],"entail":[22],"everyone":[24],"is":[25,66],"logically":[26],"omniscient":[27],"those":[29],"are":[31,95],"compatible":[32],"with":[33],"even":[34],"the":[35,44,71,87,105],"most":[36,155],"egregious":[37],"kinds":[38],"logical":[40],"incompetence.":[41],"outline,":[43],"entails":[46],"agent":[49],"believes":[50],"(knows)":[51],"$\\phi":[52,64,80],"$":[53,65,81],"just":[54],"in":[55],"case":[56],"she":[57],"can":[58,152],"easily":[59],"(and":[60],"correctly)":[61],"compute":[62],"true":[67],"thus":[69],"has":[70],"capacity":[72],"to":[73,98,100],"make":[74],"her":[75],"actions":[76],"depend":[77],"on":[78,143],"whether":[79],".":[82],"The":[83,130],"thereby":[85],"captures":[86],"standard":[88,109],"view":[89],"constitutively":[96],"connected":[97],"dispositions":[99],"act.":[101],"As":[102],"explain,":[104],"improves":[107],"upon":[108],"developed":[112],"by":[113,123],"Parikh,":[114],"Halpern,":[115],"Moses,":[116],"Vardi,":[117],"Duc,":[119],"among":[120],"other":[121],"ways,":[122],"integrating":[124],"them":[125],"into":[126],"framework.":[129],"also":[132],"avoids":[133],"some":[134],"important":[135,156],"disadvantages":[136],"recent":[138],"candidate":[139],"middle-ground":[140],"based":[142],"dynamic":[144],"epistemic":[145],"logic":[146],"or":[147],"step":[148],"logic,":[149],"it":[151],"subsume":[153],"their":[154],"advantages.":[157]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-08-23T07:36:19.812096","created_date":"2025-10-10T00:00:00"}