References

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. Johan van Benthem, David Fernández-Duque & Eric Pacuit (2012): Evidence logic: A new look at neighborhood structures. In: Advances in Modal Logic 9. King's College Press, pp. 97–118. Available at http://www.aiml.net/volumes/volume9/Benthem-Fernandez-Duque-Pacuit.pdf.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. Brian A. Davey & Hilary A. Priestley (1990): Introduction to lattices and order. Cambridge University Press, Cambridge, doi:10.1017/CBO9780511809088.
  16. 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..
  17. 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.
  18. Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Y. Vardi (1995): Reasoning About Knowledge. MIT Press, doi:10.7551/mitpress/5803.001.0001.
  19. 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.
  20. Adam Grove (1988): Two modellings for theory change. Journal of Philosophical Logic 17(2), pp. 157–170, doi:10.1007/BF00247909.
  21. Joseph Y. Halpern (2003): Reasoning About Uncertainty. MIT Press, Cambridge, MA, USA, doi:10.7551/mitpress/10951.001.0001.
  22. 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.
  23. Kevin T. Kelly (1996): The Logic of Reliable Inquiry. Oxford University Press.
  24. 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.
  25. Aybüke Özgün (2017): Evidence in Epistemic Logic: A Topological Perspective. University of Amsterdam & Université de Lorraine. Available at https://www.illc.uva.nl/Research/Publications/Dissertations/DS-2017-07.text.pdf.
  26. 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.
  27. Robert Stalnaker (2006): On Logics of Knowledge and Belief. Philosophical Studies 128(1), pp. 169–199, doi:10.1007/s11098-005-4062-y.
  28. 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.
  29. Timothy Williamson (2000): Knowledge and its Limits. Oxford University Press, doi:10.1093/019925656X.001.0001.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org