{"id":"https://openalex.org/W25317683","doi":null,"title":"Knowledge and the problem of logical omniscience","display_name":"Knowledge and the problem of logical omniscience","publication_year":1987,"publication_date":"1987-12-01","ids":{"openalex":"https://openalex.org/W25317683","mag":"25317683"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.547.9613","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.547.9613","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://web.cs.gc.cuny.edu/~kgb/course/parikh3.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5103548572","display_name":"Rohit Parikh","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"R. Parikh","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5103548572"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.945,"has_fulltext":true,"cited_by_count":62,"citation_normalized_percentile":{"value":0.78985339,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"432","last_page":"439"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994999766349792,"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.9994999766349792,"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/T11477","display_name":"Epistemology, Ethics, and Metaphysics","score":9.999999747378752e-05,"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/T10258","display_name":"Philosophy and Theoretical Science","score":0.0,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/logical-omniscience","display_name":"logical omniscience","score":0.9020000100135803},{"id":"https://openalex.org/keywords/knowledge","display_name":"knowledge","score":0.375},{"id":"https://openalex.org/keywords/modal-logic-of-knowledge","display_name":"modal logic of knowledge","score":0.8199999928474426},{"id":"https://openalex.org/keywords/possible-worlds-semantics","display_name":"Kripke semantics","score":0.7799999713897705},{"id":"https://openalex.org/keywords/epistemic-logic","display_name":"epistemic logic","score":0.7570000290870667},{"id":"https://openalex.org/keywords/knowledge-operators","display_name":"knowledge operators","score":0.43700000643730164},{"id":"https://openalex.org/keywords/logical-validity","display_name":"logical validity","score":0.5360000133514404}],"concepts":[{"id":"https://openalex.org/C2776127325","wikidata":"https://www.wikidata.org/wiki/Q1424662","display_name":"Omniscience","level":2,"score":0.9675158262252808},{"id":"https://openalex.org/C136172866","wikidata":"https://www.wikidata.org/wiki/Q1088088","display_name":"Possible world","level":2,"score":0.5235678553581238},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5212833881378174},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.4894675016403198},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.46873006224632263},{"id":"https://openalex.org/C158154518","wikidata":"https://www.wikidata.org/wiki/Q7310970","display_name":"Relevance (law)","level":2,"score":0.43104150891304016},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3881411850452423},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2515464425086975},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.19428300857543945},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.08195284008979797},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.547.9613","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.547.9613","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://web.cs.gc.cuny.edu/~kgb/course/parikh3.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.69.8786","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.69.8786","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.sci.brooklyn.cuny.edu/cis/parikh/omnisci.pdf","raw_type":"text"},{"id":"mag:25317683","doi":null,"is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/ismis/ismis87.html#Parik87","pdf_url":null,"source":{"id":"https://openalex.org/S4306420240","display_name":"International Syposium on Methodologies for Intelligent Systems","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"International Syposium on Methodologies for Intelligent Systems","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W5642659","https://openalex.org/W1527935828","https://openalex.org/W1588841227","https://openalex.org/W1602618877","https://openalex.org/W2092431596","https://openalex.org/W2110378921"],"related_works":["https://openalex.org/W659264312","https://openalex.org/W2003243270","https://openalex.org/W4230141785","https://openalex.org/W1585041454","https://openalex.org/W2189170476","https://openalex.org/W4253116030","https://openalex.org/W1597902336","https://openalex.org/W402151218","https://openalex.org/W1568382734","https://openalex.org/W7098086305"],"abstract_inverted_index":{"The":[0,104],"notion":[1,78,89],"of":[2,10,17,28,46,57,62,71,79,90,183],"knowledge":[3,58,72,200],"has":[4],"recently":[5],"acquired":[6],"a":[7,43,80,91,108],"great":[8],"deal":[9,210],"importance":[11,19],"in":[12,20,30,54,85,115],"Computer":[13],"Science,":[14],"partly":[15],"because":[16,27],"its":[18],"AI":[21],"and":[22,33,131,140,152,208],"expert":[23],"systems,":[24],"but":[25],"also":[26,132],"applications":[29],"distributed":[31],"computing":[32],"possible,":[34],"even":[35],"likely":[36],"relevance":[37],"to":[38,99,206,209],"cryptography.":[39],"See":[40],"[H2]":[41],"for":[42,122,150,162],"representative":[44],"collection":[45],"papers":[47],"on":[48,76],"knowledge.":[49],"An":[50],"important":[51],"outstanding":[52],"problem":[53,61],"the":[55,60,68,77,88,117,159,181,190],"logic":[56],"is":[59,96,113,155,186],"logical":[63,184],"omniscience,":[64,185],"which":[65,95,119,175],"plagues":[66],"all":[67,116,147,158,173],"current":[69],"logics":[70,87],"that":[73,126,165],"are":[74,120,144,176],"founded":[75],"possible":[81,97,121,149,161],"world.":[82],"We":[83],"assume":[84],"these":[86],"world,":[92,207],"or":[93],"situation":[94],"relative":[98],"an":[100],"individual":[101,105],"(knower)":[102],"i.":[103,123],"i":[106,128,151,163,166,171],"knows":[107,129,133,167,172],"fact":[109],"B":[110,112,143,154,174],"iff":[111],"true":[114,145,156],"worlds":[118,148,160],"It":[124],"follows":[125],"if":[127],"A":[130,134,139,141],"\u2192":[135,142,194,196],"B,":[136],"then":[137],"both":[138],"at":[146,157],"hence":[153],"so":[164],"B.":[168],"In":[169],"particular,":[170],"logically":[177],"valid.":[178],"This":[179],"principle,":[180],"principle":[182],"usually":[187],"expressed":[188],"as":[189],"formula":[191],"Ki(A)":[192],"\u2227Ki(A":[193],"B)":[195],"Ki(B)":[197],"Now":[198],"my":[199],"may":[201],"itself":[202],"differ":[203],"from":[204],"world":[205],"with":[211],"this":[212]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":1}],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2016-06-24T00:00:00"}