References

1. Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi & Tiago de Lima (2008): `Knowable' as `known after an announcement'. The Review of Symbolic Logic 1(3), pp. 305–334. Available at http://dx.doi.org/10.1017/s1755020308080210.
2. Philippe Balbiani & Hans van Ditmarsch (2015): A simple proof of the completeness of APAL. Studies in Logic 8 (1), pp. 65–78. Available at http://dblp.org/rec/journals/corr/BalbianiD14.
3. Philippe Balbiani, Hans van Ditmarsch & Andrey Kudinov (2013): Subset Space Logic with Arbitrary Announcements. In: Proc. of the 5th ICLA. Springer, pp. 233–244. Available at http://dx.doi.org/10.1007/978-3-642-36039-8_21.
4. Can Baskent (2007): Topics in Subset Space Logic, University of Amsterdam. Available at https://www.illc.uva.nl/Research/Publications/Reports/MoL-2007-05.text.pdf.
5. Can Baskent (2012): Public Announcement Logic in Geometric Frameworks. Fundam. Inform. 118(3), pp. 207–223. Available at http://dx.doi.org/10.3233/FI-2012-710.
6. Adam Bjorndahl (2013): Subset Space Public Announcement Logic Revisited. CoRR abs/1302.4009. Available at http://dblp.org/rec/journals/corr/abs-1302-4009.
7. Brian F. Chellas (1980): Modal logic. Cambridge University Press, Cambridge. Available at http://dx.doi.org/10.1017/cbo9780511621192.
8. Andrew Dabrowski, Lawrence S. Moss & Rohit Parikh (1996): Topological Reasoning and the Logic of Knowledge. Ann. Pure Appl. Logic 78(1-3), pp. 73–110. Available at http://dx.doi.org/10.1016/0168-0072(95)00016-X.
9. Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi (2007): Dynamic Epistemic Logic. Synthese Library 337. Springer. Available at http://dx.doi.org/10.1007/978-1-4020-5839-4.
10. Hans van Ditmarsch, Sophia Knight & Aybüke Özgün (2014): Arbitrary Announcements on Topological Subset Spaces. In: Proc. of the 12th EUMAS. Springer, pp. 252–266. Available at http://dx.doi.org/10.1007/978-3-319-17130-2_17.
11. James Dugundji (1965): Topology. Allyn and Bacon Series in Advanced Mathematics. Prentice Hall. Available at http://gen.lib.rus.ec/book/index.php?md5=9C6AF34E0F025B09B84A7FA26FBE8EDA.
12. Robert Goldblatt (1982): Axiomatising the Logic of Computer Programming. Springer-Verlag. Available at http://dx.doi.org/10.1007/bfb0022481.
13. Bernhard Heinemann (2008): Topology and Knowledge of Multiple Agents. In: Proc. of the 11th IBERAMIA. Springer, pp. 1–10. Available at http://dx.doi.org/10.1007/978-3-540-88309-8_1.
14. Bernhard Heinemann (2010): Logics for multi-subset spaces. Journal of Applied Non-Classical Logics 20(3), pp. 219–240. Available at http://dx.doi.org/10.3166/jancl.20.219-240.
15. Lawrence S. Moss & Rohit Parikh (1992): Topological Reasoning and The Logic of Knowledge. In: Proc. of the 4th TARK. Morgan Kaufmann, pp. 95–105. Available at http://dblp.org/rec/html/conf/tark/MossP92.
16. Rohit Parikh, Lawrence Moss & Chris Steinsvold (2007): Topology and Epistemic Logic. In: Handbook of Spatial Logics, pp. 299–341. Available at http://dx.doi.org/10.1007/978-1-4020-5587-4_6.
17. Jan A. Plaza (1989): Logics of Public Communications. In: Proc. of the 4th ISMIS. Oak Ridge National Laboratory, pp. 201–216. Available at http://dx.doi.org/10.1007/s11229-007-9168-7.
18. Yi N. Wang & Thomas Ågotnes (2013): Multi-Agent Subset Space Logic. In: Proc. of the 23rd IJCAI. IJCAI/AAAI, pp. 1155–1161. Available at http://dblp.org/rec/conf/ijcai/WangA13a.
19. Yì N. Wáng & Thomas Ågotnes (2013): Subset Space Public Announcement Logic. In: Proc. of 5th ICLA. Springer, pp. 245–257. Available at http://dx.doi.org/10.1007/978-3-642-36039-8_22.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org