@article(AGM85,
 author       = {Carlos E. Alchourr{\'o}n and Peter G{\"a}rdenfors and David Makinson},
 year         = {1985},
 title        = {On the Logic of Theory Change: Partial Meet Contraction and Revision Functions},
 journal      = {Journal of Symbolic Logic},
 volume       = {50},
 number       = {2},
 pages        = {510--530},
 doi          = {10.2307/2274239},
)
@inproceedings(BBOS16,
 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    = {Proceedings of the 23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016)},
 pages        = {83--103},
 doi          = {10.1007/978-3-662-52921-8\_6},
)
@inproceedings(BGOVS18,
 author       = {Alexandru Baltag and Nina Gierasimczuk and Ayb{\"u}ke {\"O}zg{\"u}n and Vargas-Sandoval, Ana Lucia and Sonja Smets},
 year         = {2018},
 title        = {A Dynamic Logic for Learning Theory},
 editor       = {Alexandre Madeira and M{\'a}rio Benevides},
 booktitle    = {Dynamic Logic. New Trends and Applications},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {35--54},
 doi          = {10.1007/978-3-319-73579-5\_3},
)
@inproceedings(BGS11,
 author       = {Alexandru Baltag and Nina Gierasimczuk and Sonja Smets},
 year         = {2011},
 title        = {Belief Revision as a Truth-Tracking Process},
 booktitle    = {Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2011)},
 organization = {ACM},
 pages        = {187--190},
 doi          = {10.1145/2000378.2000400},
)
@inproceedings(Baltag:2015uo,
 author       = {Alexandru Baltag and Nina Gierasimczuk and Sonja Smets},
 year         = {2015},
 title        = {On the Solvability of Inductive Problems: A Study in Epistemic Topology},
 editor       = {R. Ramanujam},
 booktitle    = {Proceedings of the 15th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2015)},
 pages        = {81--98},
 doi          = {10.4204/EPTCS.215.7},
)
@inproceedings(BOVS17,
 author       = {Alexandru Baltag and Ayb{\"{u}}ke {\"{O}}zg{\"{u}}n and Vargas-Sandoval, Ana Lucia},
 year         = {2017},
 title        = {Topo-Logic as a Dynamic-Epistemic Logic},
 booktitle    = {Proceedings of the 6th LORI},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {330--346},
 doi          = {10.1007/978-3-662-55665-8\_23},
)
@inproceedings(vBDP12,
 author       = {Johan van Benthem and Fern\'andez-Duque, David and Eric Pacuit},
 year         = {2012},
 title        = {Evidence logic: A new look at neighborhood structures},
 booktitle    = {Advances in Modal Logic 9},
 publisher    = {King's College Press},
 pages        = {97--118},
 url          = {http://www.aiml.net/volumes/volume9/Benthem-Fernandez-Duque-Pacuit.pdf},
)
@article(vBDP14,
 author       = {Johan van Benthem and Fern\'andez-Duque, David and Eric Pacuit},
 year         = {2014},
 title        = {Evidence and plausibility in neighborhood structures},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {165},
 number       = {1},
 pages        = {106--133},
 doi          = {10.1016/j.apal.2013.07.007},
)
@article(vBP11,
 author       = {Johan van Benthem and Eric Pacuit},
 year         = {2011},
 title        = {Dynamic Logics of Evidence-Based Beliefs},
 journal      = {Studia Logica},
 volume       = {99(1)},
 pages        = {61--92},
 doi          = {10.1007/s11225-011-9347-x},
)
@inproceedings(Bjorndahl18,
 author       = {Adam Bjorndahl},
 year         = {2018},
 title        = {The Epistemology of Nondeterminism},
 booktitle    = {Proceedings of the 25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018)},
 pages        = {145--162},
 doi          = {10.1007/978-3-662-57669-4\_8},
)
@inproceedings(Bjorndahl16,
 author       = {Adam Bjorndahl},
 year         = {2018},
 title        = {Topological Subset Space Models for Public Announcements},
 editor       = {Hans van Ditmarsch and Gabriel Sandu},
 booktitle    = {Jaakko Hintikka on Knowledge and Game-Theoretical Semantics},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {165--186},
 doi          = {10.1007/978-3-319-62864-6\_6},
)
@incollection(BO17,
 author       = {Adam Bjorndahl and Ayb{\"{u}}ke {\"{O}}zg{\"{u}}n},
 year         = {2017},
 title        = {Logic and Topology for Knowledge, Knowability, and Belief - Extended Abstract},
 booktitle    = {Proceedings of 16th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017)},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {251},
 publisher    = {Open Publishing Association},
 pages        = {88--101},
 doi          = {10.4204/EPTCS.251.7},
)
@book(BdRV01,
 author       = {Patrick Blackburn and Maarten de Rijke and Yde Venema},
 year         = {2001},
 title        = {Modal Logic},
 series       = {Cambridge Tracts in Theoretical Computer Scie},
 volume       = {53},
 publisher    = {Cambridge University Press},
 address      = {Cambridge},
 doi          = {10.1017/CBO9781107050884},
)
@article(DMossP96,
 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(Davey90,
 author       = {Brian A. Davey and Hilary A. Priestley},
 year         = {1990},
 title        = {Introduction to lattices and order},
 publisher    = {Cambridge University Press},
 address      = {Cambridge},
 doi          = {10.1017/CBO9780511809088},
)
@unpublished(vDKO15b,
 author       = {Hans van Ditmarsch and Sophia Knight and Ayb{\"{u}}ke {\"{O}}zg{\"{u}}n},
 year         = {2017},
 title        = {Announcement as effort on topological spaces},
 doi          = {10.1007/s11229-017-1592-8},
 note         = {Forthcoming in \emph{Synthese}.},
)
@article(vD06,
 author       = {Hans P. Van Ditmarsch},
 year         = {2005},
 title        = {Prolegomena to Dynamic Logic for Belief Revision},
 journal      = {Synthese},
 volume       = {147},
 number       = {2},
 pages        = {229--275},
 doi          = {10.1007/s11229-005-1349-7},
)
@book(FHM95,
 author       = {Ronald Fagin and Joseph Y. Halpern and Yoram Moses and Moshe Y. Vardi},
 year         = {1995},
 title        = {{Reasoning About Knowledge}},
 publisher    = {MIT Press},
 doi          = {10.7551/mitpress/5803.001.0001},
)
@article(GorankoP92,
 author       = {Valentin Goranko and Solomon Passy},
 year         = {1992},
 title        = {Using the Universal Modality: Gains and Questions},
 journal      = {Journal of Logic and Computation},
 volume       = {2},
 number       = {1},
 pages        = {5--30},
 doi          = {10.1093/logcom/2.1.5},
)
@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},
)
@book(Halpern03,
 author       = {Joseph Y. Halpern},
 year         = {2003},
 title        = {Reasoning About Uncertainty},
 publisher    = {MIT Press},
 address      = {Cambridge, MA, USA},
 doi          = {10.7551/mitpress/10951.001.0001},
)
@inproceedings(HoekMeyer92,
 author       = {Wiebe van der Hoek and John-Jules Meyer},
 year         = {1992},
 title        = {Graded modalities in epistemic logic},
 editor       = {Anil Nerode and Mikhail Taitslin},
 booktitle    = {Logical Foundations of Computer Science --- Tver '92},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {503--514},
 doi          = {10.1007/BFb0023902},
)
@book(Kelly96,
 author       = {Kevin T. Kelly},
 year         = {1996},
 title        = {The Logic of Reliable Inquiry},
 publisher    = {Oxford University Press},
)
@inproceedings(MossP92,
 author       = {Lawrence S. Moss and Rohit Parikh},
 year         = {1992},
 title        = {Topological Reasoning and The Logic of Knowledge},
 booktitle    = {Proceedings of the 4th Conference on Theoretical Aspects of Computer Science (TARK 1992)},
 publisher    = {Morgan Kaufmann},
 pages        = {95--105},
 url          = {http://dblp.org/rec/html/conf/tark/MossP92},
)
@phdthesis(Ozgun17,
 author       = {Ayb\"uke \"Ozg\"un},
 year         = {2017},
 title        = {Evidence in Epistemic Logic: A Topological Perspective},
 school       = {University of Amsterdam \& Universit\'{e} de Lorraine},
 url          = {https://www.illc.uva.nl/Research/Publications/Dissertations/DS-2017-07.text.pdf},
)
@incollection(MossPS07,
 author       = {Rohit Parikh and Lawrence S. Moss and Chris Steinsvold},
 year         = {2007},
 title        = {Topology and Epistemic Logic},
 booktitle    = {Handbook of Spatial Logics},
 publisher    = {Springer Verlag},
 pages        = {299--341},
 doi          = {10.1007/978-1-4020-5587-4\_6},
)
@article(Stalnaker06,
 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(WA13b,
 author       = {Y\`{\i} N. W{\'a}ng and {\r A}gotnes, Thomas},
 year         = {2013},
 title        = {Subset Space Public Announcement Logic},
 booktitle    = {Proceedings of the 5th Indian Conference on Logic and Its Applications (ICLA 2013)},
 publisher    = {Springer},
 pages        = {245--257},
 doi          = {10.1007/978-3-642-36039-8\_22},
)
@book(Williamson00,
 author       = {Timothy Williamson},
 year         = {2000},
 title        = {Knowledge and its Limits},
 publisher    = {Oxford University Press},
 doi          = {10.1093/019925656X.001.0001},
)