Course Slides
References:
A. Baltag and S. Smets, “A Qualitative Theory of Dynamic Interactive Belief Revision”, in G. Bonanno, W. van der Hoek, M. Wooldridge (eds.),Texts in Logic and Games, Vol 3, pp.9-58,Amsterdam Univ Press, 2008.
A. Baltag and S. Smets, Protocols for Belief Merge: Reaching Agreement via Communication, Logic Journal of the IGPL , Volume 21, Number 3, pp.468-487, 2013.
A. Baltag and S. Smets. Keep changing your beliefs and aiming for the truth. in T. Kuipers and G. Schurz (eds.), Erkenntnis , 75(2), pp. 255-270, 2011.
A. Baltag, N. Gierasimczuk and S, Smets. Belief Revision as a Truth Tracking Process, In: Proceedings of Theoretical Aspects of Rationality and Knowledge, TARK 2011.
A. Baltag, N. Gierasimczuk, S. Smets, Truth-tracking by belief revision. In Studia Logica , online first 2018. ILLC Pre-publication 2014, PP-2014-20.
A. Baltag and S. Smets. Group Belief Dynamics under Iterated Revision: Fixed Points and Cycles of Joint Upgrades. In: Proceedings of Theoretical Aspects of Rationality and Knowledge TARK , 2009.
J. van Benthem and S. Smets, “Dynamic Logics of Belief Change”,Handbook of Epistemic Logic, Chapter 7, College Pub, 2015.
A. Baltag, H. P. van Ditmarsch and L.S. Moss, “Epistemic logic and information update”, in Handbook of Philosophy of Information, Elsevier, 2008.
J. van Benthem, Logical Dynamics of Information and Interaction, Cambridge Univ Press, 2011.
H. P. van Ditmarsch, W. van der Hoek and B. Kooi, Dynamic Epistemic Logic, Springer, 2007.
R. Fagin, J.Y. Halpern, Y. Moses and M.Y. Vardi, Reasoning about Knowledge, MIT Press, Cambridge MA 1995.