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