Author:
Baltag Alexandru,Özgün Aybüke,Vargas Sandoval Ana Lucia
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Ågotnes, T., Balbiani, P., van Ditmarsch, H., Seban, P.: Group announcement logic. J. Appl. Log. 8, 62–81 (2010)
2. Balbiani, P., Baltag, A., van Ditmarsch, H., Herzig, A., Hoshi, T., de Lima, T.: ‘Knowable’ as ‘known after an announcement’. Rev. Symb. Log. 1, 305–334 (2008)
3. Balbiani, P., van Ditmarsch, H.: A simple proof of the completeness of APAL. Stud. Log. 8(1), 65–78 (2015)
4. Lecture Notes in Computer Science;P Balbiani,2013
5. Lecture Notes in Computer Science;A Baltag,2018
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. To be announced;Information and Computation;2023-06
2. The Expressivity of Quantified Group Announcements;Journal of Logic and Computation;2022-11-24
3. Arbitrary Public Announcement Logic with Memory;Journal of Philosophical Logic;2022-07-20
4. Almost APAL;Journal of Logic and Computation;2022-03-11
5. Quantifying over Boolean announcements;Logical Methods in Computer Science;2022-01-21