Carlos E. Alchourrón, Peter Gärdenfors & David Makinson (1985):
On the Logic of Theory Change: Partial Meet Contraction and Revision Functions.
Journal of Symbolic Logic 50(2),
pp. 510–530,
doi:10.2307/2274239.
Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün & Sonja Smets (2016):
Justified Belief and the Topology of Evidence.
In: Proceedings of the 23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016),
pp. 83–103,
doi:10.1007/978-3-662-52921-8_6.
Alexandru Baltag, Nina Gierasimczuk, Aybüke Özgün, Ana Lucia Vargas-Sandoval & Sonja Smets (2018):
A Dynamic Logic for Learning Theory.
In: Alexandre Madeira & Mário Benevides: Dynamic Logic. New Trends and Applications.
Springer International Publishing,
Cham,
pp. 35–54,
doi:10.1007/978-3-319-73579-5_3.
Alexandru Baltag, Nina Gierasimczuk & Sonja Smets (2011):
Belief Revision as a Truth-Tracking Process.
In: Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2011).
ACM,
pp. 187–190,
doi:10.1145/2000378.2000400.
Alexandru Baltag, Nina Gierasimczuk & Sonja Smets (2015):
On the Solvability of Inductive Problems: A Study in Epistemic Topology.
In: R. Ramanujam: Proceedings of the 15th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2015),
pp. 81–98,
doi:10.4204/EPTCS.215.7.
Alexandru Baltag, Aybüke Özgün & Ana Lucia Vargas-Sandoval (2017):
Topo-Logic as a Dynamic-Epistemic Logic.
In: Proceedings of the 6th LORI.
Springer Berlin Heidelberg,
pp. 330–346,
doi:10.1007/978-3-662-55665-8_23.
Johan van Benthem, David Fernández-Duque & Eric Pacuit (2014):
Evidence and plausibility in neighborhood structures.
Annals of Pure and Applied Logic 165(1),
pp. 106–133,
doi:10.1016/j.apal.2013.07.007.
Johan van Benthem & Eric Pacuit (2011):
Dynamic Logics of Evidence-Based Beliefs.
Studia Logica 99(1),
pp. 61–92,
doi:10.1007/s11225-011-9347-x.
Adam Bjorndahl (2018):
The Epistemology of Nondeterminism.
In: Proceedings of the 25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018),
pp. 145–162,
doi:10.1007/978-3-662-57669-4_8.
Adam Bjorndahl (2018):
Topological Subset Space Models for Public Announcements.
In: Hans van Ditmarsch & Gabriel Sandu: Jaakko Hintikka on Knowledge and Game-Theoretical Semantics.
Springer International Publishing,
Cham,
pp. 165–186,
doi:10.1007/978-3-319-62864-6_6.
Adam Bjorndahl & Aybüke Özgün (2017):
Logic and Topology for Knowledge, Knowability, and Belief - Extended Abstract.
In: Proceedings of 16th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017),
Electronic Proceedings in Theoretical Computer Science 251.
Open Publishing Association,
pp. 88–101,
doi:10.4204/EPTCS.251.7.
Patrick Blackburn, Maarten de Rijke & Yde Venema (2001):
Modal Logic.
Cambridge Tracts in Theoretical Computer Scie 53.
Cambridge University Press,
Cambridge,
doi:10.1017/CBO9781107050884.
Andrew Dabrowski, Lawrence S. Moss & Rohit Parikh (1996):
Topological reasoning and the logic of knowledge.
Annals of Pure and Applied Logic 78(1),
pp. 73–110,
doi:10.1016/0168-0072(95)00016-X.
Brian A. Davey & Hilary A. Priestley (1990):
Introduction to lattices and order.
Cambridge University Press,
Cambridge,
doi:10.1017/CBO9780511809088.
Hans van Ditmarsch, Sophia Knight & Aybüke Özgün (2017):
Announcement as effort on topological spaces,
doi:10.1007/s11229-017-1592-8.
Forthcoming in Synthese..
Hans P. Van Ditmarsch (2005):
Prolegomena to Dynamic Logic for Belief Revision.
Synthese 147(2),
pp. 229–275,
doi:10.1007/s11229-005-1349-7.
Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Y. Vardi (1995):
Reasoning About Knowledge.
MIT Press,
doi:10.7551/mitpress/5803.001.0001.
Valentin Goranko & Solomon Passy (1992):
Using the Universal Modality: Gains and Questions.
Journal of Logic and Computation 2(1),
pp. 5–30,
doi:10.1093/logcom/2.1.5.
Adam Grove (1988):
Two modellings for theory change.
Journal of Philosophical Logic 17(2),
pp. 157–170,
doi:10.1007/BF00247909.
Wiebe van der Hoek & John-Jules Meyer (1992):
Graded modalities in epistemic logic.
In: Anil Nerode & Mikhail Taitslin: Logical Foundations of Computer Science — Tver '92.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 503–514,
doi:10.1007/BFb0023902.
Kevin T. Kelly (1996):
The Logic of Reliable Inquiry.
Oxford University Press.
Lawrence S. Moss & Rohit Parikh (1992):
Topological Reasoning and The Logic of Knowledge.
In: Proceedings of the 4th Conference on Theoretical Aspects of Computer Science (TARK 1992).
Morgan Kaufmann,
pp. 95–105.
Available at http://dblp.org/rec/html/conf/tark/MossP92.
Rohit Parikh, Lawrence S. Moss & Chris Steinsvold (2007):
Topology and Epistemic Logic.
In: Handbook of Spatial Logics.
Springer Verlag,
pp. 299–341,
doi:10.1007/978-1-4020-5587-4_6.
Robert Stalnaker (2006):
On Logics of Knowledge and Belief.
Philosophical Studies 128(1),
pp. 169–199,
doi:10.1007/s11098-005-4062-y.
Yì N. Wáng & Thomas Ågotnes (2013):
Subset Space Public Announcement Logic.
In: Proceedings of the 5th Indian Conference on Logic and Its Applications (ICLA 2013).
Springer,
pp. 245–257,
doi:10.1007/978-3-642-36039-8_22.
Timothy Williamson (2000):
Knowledge and its Limits.
Oxford University Press,
doi:10.1093/019925656X.001.0001.