{"id":"https://openalex.org/W7100401528","doi":null,"title":"MERGING OBSERVATION AND ACCESS IN DYNAMIC LOGIC","display_name":"MERGING OBSERVATION AND ACCESS IN DYNAMIC LOGIC","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W7100401528"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.159.1866","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.159.1866","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.illc.uva.nl/Publications/ResearchReports/PP-2008-36.text.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/A5083214023","display_name":"Johan van Benthem","orcid":"https://orcid.org/0000-0002-7048-785X","observed_orcids":["https://orcid.org/0000-0002-7048-785X"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Johan van Benthem","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5083214023"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":9.999999747378752e-05,"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/dynamic-epistemic-logic","display_name":"dynamic epistemic logic","score":0.9589999914169312},{"id":"https://openalex.org/keywords/observation","display_name":"observation","score":0.7570000290870667},{"id":"https://openalex.org/keywords/access","display_name":"access","score":0.7940000295639038},{"id":"https://openalex.org/keywords/rational-agents","display_name":"rational agents","score":0.8579999804496765},{"id":"https://openalex.org/keywords/self-reflection","display_name":"self-reflection","score":0.7509999871253967}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6938999891281128},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.4887000024318695},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45350000262260437},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.4343999922275543},{"id":"https://openalex.org/C180198813","wikidata":"https://www.wikidata.org/wiki/Q121182","display_name":"Information system","level":2,"score":0.3799000084400177},{"id":"https://openalex.org/C113336015","wikidata":"https://www.wikidata.org/wiki/Q574010","display_name":"Complete information","level":2,"score":0.3718000054359436},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3691999912261963},{"id":"https://openalex.org/C20693621","wikidata":"https://www.wikidata.org/wiki/Q6667502","display_name":"Logical framework","level":2,"score":0.3379000127315521},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.30799999833106995},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.30790001153945923},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.30390000343322754},{"id":"https://openalex.org/C52622258","wikidata":"https://www.wikidata.org/wiki/Q131222","display_name":"Information theory","level":2,"score":0.2856000065803528},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.2833000123500824},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2782999873161316},{"id":"https://openalex.org/C33326189","wikidata":"https://www.wikidata.org/wiki/Q17092450","display_name":"Information integration","level":2,"score":0.2768999934196472},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.2696000039577484},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.26570001244544983},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.26489999890327454},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2517000138759613}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.159.1866","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.159.1866","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.illc.uva.nl/Publications/ResearchReports/PP-2008-36.text.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2552939155","https://openalex.org/W2407426399","https://openalex.org/W119696971","https://openalex.org/W1553439336","https://openalex.org/W1972184289","https://openalex.org/W2122053910","https://openalex.org/W49692159","https://openalex.org/W2136367100","https://openalex.org/W2782381758","https://openalex.org/W2110025659"],"abstract_inverted_index":{"Rational":[0],"agents":[1],"base":[2],"their":[3],"actions":[4],"on":[5],"information":[6,16,37,42],"from":[7],"observation,":[8],"inference,":[9],"introspection,":[10],"or":[11],"other":[12],"sources.":[13],"But":[14],"this":[15],"comes":[17],"in":[18],"different":[19,27],"kinds,":[20],"and":[21,39],"it":[22],"is":[23],"usually":[24],"handled":[25],"by":[26,51],"logical":[28],"mechanisms.":[29],"We":[30],"discuss":[31],"how":[32],"to":[33],"integrate":[34],"external":[35],"\u2018updating":[36],"\u2019":[38,43],"internal":[40],"\u2018elucidating":[41],"into":[44],"one":[45],"system":[46],"of":[47],"dynamic":[48],"epistemic":[49],"logic,":[50],"distinguishing":[52],"two":[53],"basic":[54],"informational":[55],"actions:":[56],"\u2018bare":[57],"seeing\u2019":[58],"versus":[59],"\u2018conscious":[60],"realization\u2019.":[61]},"counts_by_year":[],"updated_date":"2026-10-14T16:39:01.820549","created_date":"2025-10-27T00:00:00"}