Author:
van Ditmarsch Hans,French Tim,Galimullin Rustam
Publisher
Open Publishing Association
Reference22 articles.
1. Group announcement logic;Ågotnes;Journal of Applied Logic,2010
2. Coalitions and announcements;Ågotnes,2008
3. The Undecidability of Quantified Announcements;Ågotnes;Studia Logica,2016
4. `Knowable' as `known after an announcement';Balbiani;Review of Symbolic Logic,2008
5. Epistemic planning for single and multi-agent systems;Bolander;Journal of Applied Non-Classical Logics,2011
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. To be announced;Information and Computation;2023-06
2. Quantifying over information change with common knowledge;Autonomous Agents and Multi-Agent Systems;2023-03-08
3. Verification and Strategy Synthesis for Coalition Announcement Logic;Journal of Logic, Language and Information;2021-07-14