On the Logic of Theory Change: Partial Meet Contraction and Revision Functions

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 510–530 10.2307/2274239 Alexandru Baltag Nick Bezhanishvili Aybüke Özgün Sonja Smets 2016 Justified Belief and the Topology of Evidence Proceedings of the 23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016) 83–103 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 Alexandre Madeira Mário Benevides Dynamic Logic. New Trends and Applications Springer International Publishing

Cham

35–54 10.1007/978-3-319-73579-5_3 Alexandru Baltag Nina Gierasimczuk Sonja Smets 2011 Belief Revision as a Truth-Tracking Process Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2011) ACM 187–190 10.1145/2000378.2000400 Alexandru Baltag Nina Gierasimczuk Sonja Smets 2015 On the Solvability of Inductive Problems: A Study in Epistemic Topology R. Ramanujam Proceedings of the 15th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2015) 81–98 10.4204/EPTCS.215.7 Alexandru Baltag Aybüke Özgün Ana Lucia Vargas-Sandoval 2017 Topo-Logic as a Dynamic-Epistemic Logic Proceedings of the 6th LORI Springer Berlin Heidelberg 330–346 10.1007/978-3-662-55665-8_23 Johan van Benthem David Fernández-Duque Eric Pacuit 2012 Evidence logic: A new look at neighborhood structures Advances in Modal Logic 9 King's College Press 97–118 http://www.aiml.net/volumes/volume9/Benthem-Fernandez-Duque-Pacuit.pdf Johan van Benthem David Fernández-Duque Eric Pacuit 2014 Evidence and plausibility in neighborhood structures Annals of Pure and Applied Logic 165 1 106–133 10.1016/j.apal.2013.07.007 Johan van Benthem Eric Pacuit 2011 Dynamic Logics of Evidence-Based Beliefs Studia Logica 99(1) 61–92 10.1007/s11225-011-9347-x Adam Bjorndahl 2018 The Epistemology of Nondeterminism Proceedings of the 25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018) 145–162 10.1007/978-3-662-57669-4_8 Adam Bjorndahl 2018 Topological Subset Space Models for Public Announcements Hans van Ditmarsch Gabriel Sandu Jaakko Hintikka on Knowledge and Game-Theoretical Semantics Springer International Publishing

Cham

165–186 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 Proceedings of 16th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017) Electronic Proceedings in Theoretical Computer Science 251 Open Publishing Association 88–101 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

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 73–110 10.1016/0168-0072(95)00016-X Brian A. Davey Hilary A. Priestley 1990 Introduction to lattices and order Cambridge University Press

Cambridge

10.1017/CBO9780511809088 Hans van Ditmarsch Sophia Knight Aybüke Özgün 2017 Announcement as effort on topological spaces 10.1007/s11229-017-1592-8 Forthcoming in Synthese. Hans P. Van Ditmarsch 2005 Prolegomena to Dynamic Logic for Belief Revision Synthese 147 2 229–275 10.1007/s11229-005-1349-7 Ronald Fagin Joseph Y. Halpern Yoram Moses Moshe Y. Vardi 1995 Reasoning About Knowledge MIT Press 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 5–30 10.1093/logcom/2.1.5 Adam Grove 1988 Two modellings for theory change Journal of Philosophical Logic 17 2 157–170 10.1007/BF00247909 Joseph Y. Halpern 2003 Reasoning About Uncertainty MIT Press

Cambridge, MA, USA

10.7551/mitpress/10951.001.0001 Wiebe van der Hoek John-Jules Meyer 1992 Graded modalities in epistemic logic Anil Nerode Mikhail Taitslin Logical Foundations of Computer Science — Tver '92 Springer Berlin Heidelberg

Berlin, Heidelberg

503–514 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 Proceedings of the 4th Conference on Theoretical Aspects of Computer Science (TARK 1992) Morgan Kaufmann 95–105 http://dblp.org/rec/html/conf/tark/MossP92 Aybüke Özgün 2017 Evidence in Epistemic Logic: A Topological Perspective University of Amsterdam & Université de Lorraine https://www.illc.uva.nl/Research/Publications/Dissertations/DS-2017-07.text.pdf Rohit Parikh Lawrence S. Moss Chris Steinsvold 2007 Topology and Epistemic Logic Handbook of Spatial Logics Springer Verlag 299–341 10.1007/978-1-4020-5587-4_6 Robert Stalnaker 2006 On Logics of Knowledge and Belief Philosophical Studies 128 1 169–199 10.1007/s11098-005-4062-y Yì N. Wáng Thomas Ågotnes 2013 Subset Space Public Announcement Logic Proceedings of the 5th Indian Conference on Logic and Its Applications (ICLA 2013) Springer 245–257 10.1007/978-3-642-36039-8_22 Timothy Williamson 2000 Knowledge and its Limits Oxford University Press 10.1093/019925656X.001.0001