@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},
 doi          = {10.1007/978-3-642-36039-8\_21},
)
@inproceedings(loripaper,
 author       = {Alexandru Baltag and Nick Bezhanishvili and Ayb\"{u}ke \"{O}zg\"{u}n and Sonja Smets},
 year         = {2013},
 title        = {The Topology of Belief, Belief Revision and Defeasible Knowledge},
 booktitle    = {Proc. of LORI 2013},
 publisher    = {Springer},
 address      = {Heidelberg},
 pages        = {27--40},
 doi          = {10.1007/978-3-642-40948-6\_3},
)
@article(jplpaper,
 author       = {Alexandru Baltag and Nick Bezhanishvili and Ayb\"{u}ke \"{O}zg\"{u}n and Sonja Smets},
 year         = {2015},
 title        = {The Topological Theory of Belief},
 journal      = {Submitted},
 url          = {http://www.illc.uva.nl/Research/Publications/Reports/PP-2015-18.text.pdf},
)
@inproceedings(wollicpaper,
 author       = {Alexandru Baltag and Nick Bezhanishvili and Ayb{\"{u}}ke {\"{O}}zg{\"{u}}n and Sonja Smets},
 year         = {2016},
 title        = {Justified Belief and the Topology of Evidence},
 booktitle    = {Proc. of WOLLIC 2016},
 publisher    = {Springer},
 pages        = {83--103},
 doi          = {10.1007/978-3-662-52921-8\_6},
)
@inproceedings(BBOSTbiLLC,
 author       = {Alexandru Baltag and Nick Bezhanishvili and Ayb{\"{u}}ke {\"{O}}zg{\"{u}}n and Sonja Smets},
 year         = {2016},
 title        = {The Topology of Full and Weak Belief},
 booktitle    = {Postproceedings of TbiLLC 2015},
 publisher    = {Springer},
 pages        = {205--228},
 doi          = {10.1007/978-3-662-54332-0\_12},
)
@inbook(Baltag08epistemiclogic,
 author       = {Alexandru Baltag and Hans P. van Ditmarsch and Larry S. Moss},
 year         = {2008},
 title        = {Epistemic logic and information update},
 pages        = {361--455},
 publisher    = {Elsevier Science Publishers},
 doi          = {10.1016/B978-0-444-51726-5.50015-7},
)
@article(QualitativeBR,
 author       = {Alexandru Baltag and Sonja Smets},
 year         = {2008},
 title        = {A Qualitative Theory of Dynamic Interactive Belief Revision},
 journal      = {Texts in Logic and Games},
 volume       = {3},
 pages        = {9--58},
 doi          = {10.1007/978-3-319-20451-2\_39},
)
@inproceedings(baskent11,
 author       = {Can Baskent},
 year         = {2011},
 title        = {Geometric Public Announcement Logics},
 booktitle    = {Proc. of the 24th FLAIRS},
 url          = {http://aaai.org/ocs/index.php/FLAIRS/FLAIRS11/paper/view/2506},
)
@article(baskent12,
 author       = {Can Baskent},
 year         = {2012},
 title        = {Public Announcement Logic in Geometric Frameworks},
 journal      = {Fundam. Inform.},
 volume       = {118},
 number       = {3},
 pages        = {207--223},
 doi          = {10.3233/FI-2012-710},
)
@article(vanbenthemBR,
 author       = {Johan van Benthem},
 year         = {2007},
 title        = {Dynamic logic for belief revision},
 journal      = {Journal of Applied Non-Classical Logics},
 volume       = {17},
 number       = {2},
 pages        = {129--155},
 doi          = {10.3166/jancl.17.129-155},
)
@incollection(vanbenthem-smets,
 author       = {Johan van Benthem and Sonja Smets},
 year         = {2015},
 title        = {Dynamics Logics of Belief Change},
 booktitle    = {Handbook of Epistemic Logic},
 publisher    = {College Publications},
 pages        = {313--393},
)
@article(bjorndahl,
 author       = {Adam Bjorndahl},
 year         = {2016},
 title        = {Topological Subset Space Models for Public Announcements},
 journal      = {\emph{To appear in} Trends in Logic, Outstanding Contributions: Jaakko Hintikka},
 url          = {http://arxiv.org/abs/1302.4009},
)
@article(Clark,
 author       = {Michael Clark},
 year         = {1963},
 title        = {Knowledge and grounds: a comment on {M}r. {G}ettier's paper},
 journal      = {Analysis},
 volume       = {24},
 number       = {2},
 pages        = {46--48},
 doi          = {10.1093/analys/24.2.46},
)
@article(dabrowski,
 author       = {Andrew Dabrowski and Lawrence S. Moss and Rohit Parikh},
 year         = {1996},
 title        = {Topological reasoning and the logic of knowledge},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {78},
 number       = {1},
 pages        = {73 -- 110},
 doi          = {10.1016/0168-0072(95)00016-X},
)
@book(DELbook,
 author       = {Hans van Ditmarsch and Wiebe van der Hoek and Barteld Kooi},
 year         = {2007},
 title        = {Dynamic Epistemic Logic},
 edition      = {1st},
 publisher    = {Springer Publishing Company, Incorporated},
 doi          = {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},
 doi          = {10.1007/978-3-319-17130-2\_17},
)
@inproceedings(HvD-TARK15,
 author       = {Hans van Ditmarsch and Sophia Knight and Ayb\"uke \"Ozg\"un},
 year         = {2016},
 title        = {Announcement as Effort on Topological Spaces},
 booktitle    = {Proc.\ of the 15th TARK},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {215},
 publisher    = {Open Publishing Association},
 pages        = {283--297},
 doi          = {10.1007/978-3-319-17130-2\_17},
)
@incollection(vanDitmarsch2006,
 author       = {Hans P. van Ditmarsch},
 year         = {2006},
 title        = {Prolegomena to Dynamic Logic for Belief Revision},
 booktitle    = {Uncertainty, Rationality, and Agency},
 publisher    = {Springer Netherlands},
 address      = {Dordrecht},
 pages        = {175--221},
 doi          = {10.1007/s11229-005-1349-7},
)
@book(dugundji,
 author       = {James Dugundji},
 year         = {1965},
 title        = {Topology},
 series       = {Allyn and Bacon Series in Advanced Mathematics},
 publisher    = {Prentice Hall},
)
@book(engelking,
 author       = {R. Engelking},
 year         = {1989},
 title        = {General topology},
 edition      = {second},
 volume       = {6},
 publisher    = {Heldermann Verlag},
 address      = {Berlin},
)
@article(grove88,
 author       = {Adam Grove},
 year         = {1988},
 title        = {Two Modellings for Theory Change},
 journal      = {Journal of Philosophical Logic},
 volume       = {17},
 number       = {2},
 pages        = {157--170},
 doi          = {10.1007/BF00247909},
)
@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},
 doi          = {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},
 doi          = {10.3166/jancl.20.219-240},
)
@incollection(sep-logic-epistemic,
 author       = {Vincent Hendricks and John Symons},
 year         = {2015},
 title        = {Epistemic Logic},
 editor       = {Edward N. Zalta},
 booktitle    = {The Stanford Encyclopedia of Philosophy},
 edition      = {fall 2015},
 publisher    = {Metaphysics Research Lab, Stanford University},
 url          = {https://plato.stanford.edu/archives/fall2015/entries/logic-epistemic/},
)
@incollection(sep-knowledge-analysis,
 author       = {Jonathan Jenkins Ichikawa and Matthias Steup},
 year         = {2013},
 title        = {The Analysis of Knowledge},
 editor       = {Edward N. Zalta},
 booktitle    = {The Stanford Encyclopedia of Philosophy},
 edition      = {fall 2013},
 publisher    = {Metaphysics Research Lab, Stanford University},
 url          = {https://plato.stanford.edu/archives/spr2017/entries/knowledge-analysis/},
)
@book(klein2,
 author       = {Peter Klein},
 year         = {1981},
 title        = {Certainty, a Refutation of Scepticism},
 publisher    = {University of Minneapolis Press},
 doi          = {10.2307/2107621},
)
@article(klein,
 author       = {Peter D. Klein},
 year         = {1971},
 title        = {A Proposed Definition of Propositional Knowledge},
 journal      = {Journal of Philosophy},
 volume       = {68},
 pages        = {471--482},
 doi          = {10.2307/2024845},
)
@book(lehrer,
 author       = {Keith Lehrer},
 year         = {1990},
 title        = {Theory of Knowledge},
 publisher    = {Routledge},
 doi          = {10.2307/2220236},
)
@article(lehrerpaxson,
 author       = {Keith Lehrer and Paxson{,} Jr., Thomas},
 year         = {1969},
 title        = {Knowledge: Undefeated Justified True Belief},
 journal      = {Journal of Philosophy},
 volume       = {66},
 pages        = {225--237},
 doi          = {10.2307/2024435},
)
@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},
)
@mastersthesis(Ozgun13,
 author       = {Ayb{\"{u}}ke {\"{O}}zg{\"{u}}n},
 year         = {2013},
 title        = {Topological Models for Belief and Belief Revision},
 school       = {ILLC, University of Amsterdam},
 url          = {https://www.illc.uva.nl/Research/Publications/Reports/MoL-2013-13.text.pdf},
)
@article(rott,
 author       = {Hans Rott},
 year         = {2004},
 title        = {Stability, Strength and Sensitivity: Converting Belief Into Knowledge},
 journal      = {Erkenntnis},
 volume       = {61},
 number       = {2-3},
 pages        = {469--493},
 doi          = {10.1007/s10670-004-9287-1},
)
@article(StalnakerDB,
 author       = {Robert Stalnaker},
 year         = {2006},
 title        = {On Logics of Knowledge and Belief},
 journal      = {Philosophical Studies},
 volume       = {128},
 number       = {1},
 pages        = {169--199},
 doi          = {10.1007/s11098-005-4062-y},
)
@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://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6549},
)
@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},
 doi          = {10.1007/978-3-642-36039-8\_22},
)
@book(Williamson,
 author       = {Timothy Williamson},
 year         = {2000},
 title        = {Knowledge and its Limits},
 publisher    = {Oxford Univ. Press},
 doi          = {10.1093/019925656X.001.0001},
)