Author:
van Ditmarsch Hans,Ghosh Sujata,Verbrugge Rineke,Wang Yanjing
Funder
Netherlands Organization for Scientific Research (NWO)
ERC
European Union Seventh Framework Programme
NWO
Vici
National Social Science Foundation of China
INSA-JRD TATA Fellowship
Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference39 articles.
1. Reasoning about Knowledge;Fagin,1995
2. A knowledge based semantics of messages;Parikh;J. Log. Lang. Inf.,2003
3. Merging frameworks for interaction;van Benthem;J. Philos. Log.,2009
4. Epistemic modelling and protocol dynamics;Wang,2010
5. Epistemic dynamics and protocol information;Hoshi,2009
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Pattern Models: A Dynamic Epistemic Logic For Distributed Systems;The Computer Journal;2024-02-17
2. A Parallel Dynamic Epistemic Perspective over Muddy Children Puzzle;Electronic Proceedings in Theoretical Computer Science;2023-09-22
3. Knowledge of Self and Other Within a Broader Commonsense Setting;Computational Theory of Mind for Human-Machine Teams;2022
4. DELP: Dynamic Epistemic Logic for Security Protocols;2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2021-12
5. Receiving Messages in Their Correct Order: Analyzing Broadcast Protocols in Dynamic Epistemic Logics;Proceedings of the 13th International Conference on Agents and Artificial Intelligence;2021