Subset Space Logic with Arbitrary Announcements

Philippe Balbiani Hans van Ditmarsch Andrey Kudinov 2013 Subset Space Logic with Arbitrary Announcements Proc. of the 5th ICLA Springer 233–244 10.1007/978-3-642-36039-8_21 Alexandru Baltag Nick Bezhanishvili Aybüke Özgün Sonja Smets 2013 The Topology of Belief, Belief Revision and Defeasible Knowledge Proc. of LORI 2013 Springer

Heidelberg

27–40 10.1007/978-3-642-40948-6_3 Alexandru Baltag Nick Bezhanishvili Aybüke Özgün Sonja Smets 2015 The Topological Theory of Belief Submitted http://www.illc.uva.nl/Research/Publications/Reports/PP-2015-18.text.pdf Alexandru Baltag Nick Bezhanishvili Aybüke Özgün Sonja Smets 2016 Justified Belief and the Topology of Evidence Proc. of WOLLIC 2016 Springer 83–103 10.1007/978-3-662-52921-8_6 Alexandru Baltag Nick Bezhanishvili Aybüke Özgün Sonja Smets 2016 The Topology of Full and Weak Belief Postproceedings of TbiLLC 2015 Springer 205–228 10.1007/978-3-662-54332-0_12 Alexandru Baltag Hans P. van Ditmarsch Larry S. Moss 2008 Epistemic logic and information update 361–455 Elsevier Science Publishers 10.1016/B978-0-444-51726-5.50015-7 Alexandru Baltag Sonja Smets 2008 A Qualitative Theory of Dynamic Interactive Belief Revision Texts in Logic and Games 3 9–58 10.1007/978-3-319-20451-2_39 Can Baskent 2011 Geometric Public Announcement Logics Proc. of the 24th FLAIRS http://aaai.org/ocs/index.php/FLAIRS/FLAIRS11/paper/view/2506 Can Baskent 2012 Public Announcement Logic in Geometric Frameworks Fundam. Inform. 118 3 207–223 10.3233/FI-2012-710 Johan van Benthem 2007 Dynamic logic for belief revision Journal of Applied Non-Classical Logics 17 2 129–155 10.3166/jancl.17.129-155 Johan van Benthem Sonja Smets 2015 Dynamics Logics of Belief Change Handbook of Epistemic Logic College Publications 313–393 Adam Bjorndahl 2016 Topological Subset Space Models for Public Announcements To appear in Trends in Logic, Outstanding Contributions: Jaakko Hintikka http://arxiv.org/abs/1302.4009 Michael Clark 1963 Knowledge and grounds: a comment on Mr. Gettier's paper Analysis 24 2 46–48 10.1093/analys/24.2.46 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 Hans van Ditmarsch Wiebe van der Hoek Barteld Kooi 2007 Dynamic Epistemic Logic 1st Springer Publishing Company, Incorporated 10.1007/978-1-4020-5839-4 Hans van Ditmarsch Sophia Knight Aybüke Özgün 2014 Arbitrary Announcements on Topological Subset Spaces Proc. of the 12th EUMAS Springer 252–266 10.1007/978-3-319-17130-2_17 Hans van Ditmarsch Sophia Knight Aybüke Özgün 2016 Announcement as Effort on Topological Spaces Proc. of the 15th TARK Electronic Proceedings in Theoretical Computer Science 215 Open Publishing Association 283–297 10.1007/978-3-319-17130-2_17 Hans P. van Ditmarsch 2006 Prolegomena to Dynamic Logic for Belief Revision Uncertainty, Rationality, and Agency Springer Netherlands

Dordrecht

175–221 10.1007/s11229-005-1349-7 James Dugundji 1965 Topology Allyn and Bacon Series in Advanced Mathematics Prentice Hall R. Engelking 1989 General topology second 6 Heldermann Verlag

Berlin

Adam Grove 1988 Two Modellings for Theory Change Journal of Philosophical Logic 17 2 157–170 10.1007/BF00247909 Bernhard Heinemann 2008 Topology and Knowledge of Multiple Agents Proc. of the 11th IBERAMIA Springer 1–10 10.1007/978-3-540-88309-8_1 Bernhard Heinemann 2010 Logics for multi-subset spaces Journal of Applied Non-Classical Logics 20 3 219–240 10.3166/jancl.20.219-240 Vincent Hendricks John Symons 2015 Epistemic Logic Edward N. Zalta The Stanford Encyclopedia of Philosophy fall 2015 Metaphysics Research Lab, Stanford University https://plato.stanford.edu/archives/fall2015/entries/logic-epistemic/ Jonathan Jenkins Ichikawa Matthias Steup 2013 The Analysis of Knowledge Edward N. Zalta The Stanford Encyclopedia of Philosophy fall 2013 Metaphysics Research Lab, Stanford University https://plato.stanford.edu/archives/spr2017/entries/knowledge-analysis/ Peter Klein 1981 Certainty, a Refutation of Scepticism University of Minneapolis Press 10.2307/2107621 Peter D. Klein 1971 A Proposed Definition of Propositional Knowledge Journal of Philosophy 68 471–482 10.2307/2024845 Keith Lehrer 1990 Theory of Knowledge Routledge 10.2307/2220236 Keith Lehrer Thomas Paxson, Jr. 1969 Knowledge: Undefeated Justified True Belief Journal of Philosophy 66 225–237 10.2307/2024435 Lawrence S. Moss Rohit Parikh 1992 Topological Reasoning and The Logic of Knowledge Proc. of the 4th TARK Morgan Kaufmann 95–105 http://dblp.org/rec/html/conf/tark/MossP92 Aybüke Özgün 2013 Topological Models for Belief and Belief Revision ILLC, University of Amsterdam https://www.illc.uva.nl/Research/Publications/Reports/MoL-2013-13.text.pdf Hans Rott 2004 Stability, Strength and Sensitivity: Converting Belief Into Knowledge Erkenntnis 61 2-3 469–493 10.1007/s10670-004-9287-1 Robert Stalnaker 2006 On Logics of Knowledge and Belief Philosophical Studies 128 1 169–199 10.1007/s11098-005-4062-y Yi N. Wang Thomas Ågotnes 2013 Multi-Agent Subset Space Logic Proc. of the 23rd IJCAI IJCAI/AAAI 1155–1161 http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6549 Yì N. Wáng Thomas Ågotnes 2013 Subset Space Public Announcement Logic Proc. of 5th ICLA Springer 245–257 10.1007/978-3-642-36039-8_22 Timothy Williamson 2000 Knowledge and its Limits Oxford Univ. Press 10.1093/019925656X.001.0001