{"id":"https://openalex.org/W2983052769","doi":"https://doi.org/10.1093/jigpal/jzz031","title":"The perfect surprise: a new analysis in dynamic epistemic logic","display_name":"The perfect surprise: a new analysis in dynamic epistemic logic","publication_year":2019,"publication_date":"2019-07-31","ids":{"openalex":"https://openalex.org/W2983052769","doi":"https://doi.org/10.1093/jigpal/jzz031","mag":"2983052769"},"language":"en","primary_location":{"id":"doi:10.1093/jigpal/jzz031","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzz031","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logic Journal of the IGPL","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://lirias.kuleuven.be/handle/123456789/639937","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057710781","display_name":"Leander Vignero","orcid":"https://orcid.org/0000-0001-8955-7945"},"institutions":[{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"Leander Vignero","raw_affiliation_strings":["KU Leuven"],"affiliations":[{"raw_affiliation_string":"KU Leuven","institution_ids":["https://openalex.org/I99464096"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5051081904","display_name":"Lorenz Demey","orcid":"https://orcid.org/0000-0002-0176-1958"},"institutions":[{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Lorenz Demey","raw_affiliation_strings":["KU Leuven"],"affiliations":[{"raw_affiliation_string":"KU Leuven","institution_ids":["https://openalex.org/I99464096"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5057710781"],"corresponding_institution_ids":["https://openalex.org/I99464096"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":2.0238,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.90024348,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"28","issue":"3","first_page":"341","last_page":"362"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11477","display_name":"Epistemology, Ethics, and Metaphysics","score":0.9904999732971191,"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.9904999732971191,"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/T12520","display_name":"Psychology of Moral and Emotional Judgment","score":0.9729999899864197,"subfield":{"id":"https://openalex.org/subfields/2805","display_name":"Cognitive Neuroscience"},"field":{"id":"https://openalex.org/fields/28","display_name":"Neuroscience"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.9567000269889832,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/surprise","display_name":"Surprise","score":0.951275110244751},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6867091059684753},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.571050763130188},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.5354746580123901},{"id":"https://openalex.org/keywords/expressive-power","display_name":"Expressive power","score":0.5296062231063843},{"id":"https://openalex.org/keywords/epistemic-modal-logic","display_name":"Epistemic modal logic","score":0.48816734552383423},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"Logical consequence","score":0.4713786542415619},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.4575897455215454},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.4268413484096527},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.33934512734413147},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.18489179015159607},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.17976891994476318},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.15782836079597473},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.1559934914112091},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.10066863894462585},{"id":"https://openalex.org/keywords/social-psychology","display_name":"Social psychology","score":0.07722949981689453}],"concepts":[{"id":"https://openalex.org/C2780343955","wikidata":"https://www.wikidata.org/wiki/Q333173","display_name":"Surprise","level":2,"score":0.951275110244751},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6867091059684753},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.571050763130188},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.5354746580123901},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.5296062231063843},{"id":"https://openalex.org/C107247716","wikidata":"https://www.wikidata.org/wiki/Q1347436","display_name":"Epistemic modal logic","level":4,"score":0.48816734552383423},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.4713786542415619},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.4575897455215454},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.4268413484096527},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.33934512734413147},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.18489179015159607},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.17976891994476318},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.15782836079597473},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.1559934914112091},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.10066863894462585},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","level":1,"score":0.07722949981689453},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1093/jigpal/jzz031","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzz031","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logic Journal of the IGPL","raw_type":"journal-article"},{"id":"pmh:oai:lirias2repo.kuleuven.be:123456789/639937","is_oa":true,"landing_page_url":"https://lirias.kuleuven.be/handle/123456789/639937","pdf_url":null,"source":{"id":"https://openalex.org/S4306401954","display_name":"Lirias (KU Leuven)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99464096","host_organization_name":"KU Leuven","host_organization_lineage":["https://openalex.org/I99464096"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"Logic Journal of the IGPL, vol. 28 (3), (341-362)","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:lirias2repo.kuleuven.be:123456789/639937","is_oa":true,"landing_page_url":"https://lirias.kuleuven.be/handle/123456789/639937","pdf_url":null,"source":{"id":"https://openalex.org/S4306401954","display_name":"Lirias (KU Leuven)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99464096","host_organization_name":"KU Leuven","host_organization_lineage":["https://openalex.org/I99464096"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"Logic Journal of the IGPL, vol. 28 (3), (341-362)","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8150834336","display_name":null,"funder_award_id":"G0B8616N","funder_id":"https://openalex.org/F4320321730","funder_display_name":"Fonds Wetenschappelijk Onderzoek"}],"funders":[{"id":"https://openalex.org/F4320321730","display_name":"Fonds Wetenschappelijk Onderzoek","ror":"https://ror.org/03qtxy027"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W91670006","https://openalex.org/W112560872","https://openalex.org/W1925537772","https://openalex.org/W1988499632","https://openalex.org/W1994227541","https://openalex.org/W2019515298","https://openalex.org/W2019544011","https://openalex.org/W2039546655","https://openalex.org/W2050527500","https://openalex.org/W2062285040","https://openalex.org/W2062337828","https://openalex.org/W2126682979","https://openalex.org/W2159131252","https://openalex.org/W2169250070","https://openalex.org/W2173903337","https://openalex.org/W2287334875","https://openalex.org/W2300275070","https://openalex.org/W2525394196","https://openalex.org/W2526027940","https://openalex.org/W2530944403","https://openalex.org/W2769832641","https://openalex.org/W4213111222","https://openalex.org/W4236382845","https://openalex.org/W4239756740","https://openalex.org/W4253334135","https://openalex.org/W4298273913","https://openalex.org/W4299390900","https://openalex.org/W6605901507","https://openalex.org/W6607806257","https://openalex.org/W6607994660","https://openalex.org/W6665962495","https://openalex.org/W6684673198","https://openalex.org/W6696214911","https://openalex.org/W6727611350","https://openalex.org/W6727778230","https://openalex.org/W6732822180","https://openalex.org/W6785200999"],"related_works":["https://openalex.org/W4245886362","https://openalex.org/W3101678617","https://openalex.org/W1566627171","https://openalex.org/W4289666480","https://openalex.org/W2951762898","https://openalex.org/W2413524703","https://openalex.org/W2187752589","https://openalex.org/W4388294910","https://openalex.org/W2979315407","https://openalex.org/W2158696987"],"abstract_inverted_index":{"Abstract":[0],"In":[1],"this":[2],"article,":[3],"we":[4,84,106,117],"present":[5],"a":[6,80,86,108,119,158,167],"new":[7],"logical":[8],"framework":[9,110],"to":[10,20,31,47,89,111,156],"think":[11,112],"about":[12,113],"surprise.":[13,114],"This":[14,134],"research":[15],"does":[16],"not":[17],"just":[18],"aim":[19],"better":[21],"understand,":[22],"model":[23],"and":[24,68,79,163],"predict":[25],"human":[26],"behaviour,":[27],"but":[28],"also":[29,44,165],"attempts":[30],"provide":[32],"tools":[33],"for":[34],"implementing":[35],"artificial":[36,40],"agents.":[37],"Moreover,":[38],"these":[39,94],"agents":[41],"should":[42],"then":[43],"be":[45,136],"able":[46],"reap":[48],"the":[49,62,90,98,130,150],"same":[50],"epistemic":[51,103,122],"benefits":[52],"from":[53],"surprise":[54,67],"as":[55],"humans":[56],"do.":[57],"We":[58],"start":[59],"by":[60],"discussing":[61],"dominant":[63],"literature":[64],"regarding":[65],"propositional":[66],"explore":[69],"its":[70],"shortcomings.":[71],"These":[72],"shortcomings":[73],"are":[74],"of":[75,100,102,161,171],"both":[76],"an":[77,139,147],"empirical":[78],"conceptual":[81],"nature.":[82],"Next,":[83],"propose":[85],"philosophical":[87,132],"solution":[88],"problems":[91],"that":[92,126],"ail":[93],"systems,":[95],"based":[96],"on":[97],"notion":[99],"issue":[101,140],"interest.":[104],"Finally,":[105],"give":[107],"formal":[109],"More":[115],"specifically,":[116],"develop":[118],"probabilistic":[120],"dynamic":[121],"logic":[123],"(called":[124],"$\\mathcal{SURPRISE!}$)":[125],"succeeds":[127],"at":[128],"formalizing":[129],"relevant":[131],"concepts.":[133],"will":[135],"done":[137],"through":[138],"management":[141],"system":[142],"grounded":[143],"in":[144],"topology.":[145],"As":[146],"added":[148],"bonus,":[149],"additional":[151],"expressive":[152],"power":[153],"allows":[154],"us":[155],"capture":[157],"richer":[159],"variety":[160],"scenarios,":[162],"it":[164],"enables":[166],"more":[168],"careful":[169],"analysis":[170],"said":[172],"scenarios.":[173]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}