Relevant reading material:

  • Alchourron, C.E., P. Gardenfors, and D. Makinson. On the logic of theory change: Partial meet contraction and revision functions. The Journal of Symbolic Logic, 50(2):510-530, 1985.
  • Aucher, G., A combined system for update logic and belief revision. Master's thesis, ILLC, University of Amsterdam, 2003.
  • Baltag, A., Gierasimczuk, N., and Smets, S., Belief Revision as a Truth-Tracking Process, Proceedings of TARK 2011, K. Apt (Ed.), ACM Digital Library, pp. 187-191.
  • Baltag, A. and S. Smets, "Dynamic Belief Revision over Multi-Agent Plausibility Models", in Bonanno, W. van der Hoek, M. Woolridge (eds.), Proceedings of the 7th Conference on Logic and the Foundations of Game and Decision (LOFT 2006), p. 11-24, University of Liverpool, 2006.
  • Baltag, A. and S. Smets, "Learning by Questions and Answers: From Belief- Revision Cycles to Doxastic Fixed Points". In: Makoto Kanazawa, Hiroakira Ono, en Ruy de Queiroz (eds.) LNAI Lecture Notes in Computer Science. pp. 124-139. Volume 5514. 2009
  • Baltag, A. and S. Smets, "Probabilistic Dynamic Belief Revision", in Synthese, Vol. 165, Nr 2, pp.179-202, 2008.
  • Baltag, A. and S. Smets, "The Logic of Conditional Doxastic Actions: A Theory of dynamic multi-agent belief revision", in S. Artemov and R. Parikh (eds.), Proceedings of the Workshop on Rationality and Knowledge, p.13-30, ESSLLI 2006.
  • Baltag, A. and S. Smets. "Keep changing your beliefs and aiming for the truth". in T. Kuipers and G. Schurz (eds.), Erkenntnis, in Print.
  • Baltag, A. and S. Smets. A qualitative theory of dynamic interactive belief revision. In G. Bonanno, W. van der Hoek, and M. Wooldridge, editors, LOFT'08: Proceedings of 8th Conference on Logic and the Foundations of Game and Decision Theory, number 3 in Texts in Logic and Games, pages 9-58. Amsterdam University Press, 2008.
  • Baltag, A. and S. Smets. Conditional doxastic models: a qualitative approach to dynamic belief revision. Electronic Notes in Theoretical Computer Science, 165:5-21, 2006.
  • Baltag, A. 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.
  • Van Benthem, J. (2011). Logical Dynamics of Information and Interaction. Cambridge University Press, Cambridge.
  • Van Benthem, J., Dynamic logic for belief revision. Journal of Applied Non-Classical Logics, 2:129-155, 2007.
  • Van Benthem, J., Gerbrandy, J., Hoshi, T., and Pacuit, E. (2009). Merging frameworks for interaction: DEL and ETL. Journal of Philosophical Logic, 38(5):491-526.
  • Board, O., Dynamic interactive epistemology. Games and Economic Behavior, 49(1):49-80, 2004.
  • Boutilier, C., Iterated revision and minimal change of conditional beliefs. Journal of Philosophical Logic, 25:263-305, 1996.
  • Dégremont, C. and Gierasimczuk, N. (2011). Finite Identification from the Viewpoint of Epistemic Update, Information and Computation 209(3): 383-396.
  • Van Ditmarsch, H., Prolegomena to dynamic logic for belief revision. Knowledge, Rationality & Action (Synthese), 147:229-275 (41-87), 2005.
  • Van Ditmarsch, H., Van der Hoek, W., and Kooi, B. (2007). Dynamic Epistemic Logic. Springer Netherlands.
  • Gerbrandy, J. (1999). Bisimulations on planet Kripke. PhD thesis, Universiteit van Amsterdam
  • Gierasimczuk, N. (2010). Knowing One's Limits. Logical Analysis of Inductive Inference. PhD thesis, Universiteit van Amsterdam. http://staff.science.uva.nl/~ngierasi/thesisgierasimczuk. pdf
  • Gierasimczuk, N. and De Jongh, D. On the Complexity of Conclusive Update, submitted to: The Computer Journal.
  • Grove, A., Two modellings for theory change. Journal of Philosophical Logic, 17:157-170, 1988.
  • Halpern, J., Reasoning about uncertainty. Cambridge, MA: MIT Press, 2003.
  • Hendricks, V. (1995). AGM-identification of first order structures. Technical report, Department of Philosophy, Carnegie Mellon University, PA, USA.
  • Hendricks, V. (2001). The Convergence of Scientific Knowledge: A View from The Limit. Dordrecht: Kluwer Academic Publishers.
  • Hendricks, V., The Convergence of Scientific Knowledge: A View from The Limit. Dordrecht: Kluwer Academic Publishers, 2001.
  • Kelly, K. (1996). The Logic of Reliable Inquiry. Oxford University Press, Oxford.
  • Kelly, K. (1998). Iterated belief revision, reliability, and inductive amnesia. Erkenntnis, 50:11-58.
  • Kelly, K., Learning theory and epistemology. In I. Niilniuoto, M. Sintonen, and J. Smolenski, editors, Handbook of Epistemology. Dordrecht: Kluwer, 2004.
  • Kelly, K., O. Schulte, and V. Hendricks. Reliable belief revision. In Proceedings of the 10th International Congress of Logic, Methodology, and Philosophy of Science, pages 383-398. Kluwer Academic Publishers, 1995.
  • Kelly, K., Ockham's razor, truth, and information. In P. Adriaans and J. van Benthem, editors, Handbook of the Philosophy of Information. Elsevier, 2008.
  • Kelly, K., The learning power of belief revision. In TARK'98: Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge, pages 111-124, San Francisco, CA, USA, 1998. Morgan Kaufmann Publishers Inc.
  • Lehrer, K. (1990). Theory of Knowledge. Routledge, London.
  • Liu, F. (2008). Changing for the Better, Preference Dynamics and Agent Diversity. PhD thesis, Universiteit van Amsterdam.
  • Liu, F. (2011). Reasoning about Preference Dynamics, Springer.
  • Martin, E., and D. Osherson. Scientific discovery based on belief revision. The Journal of Symbolic Logic, 62(4):1352-1370, 1997.
  • Martin, E., and Osherson, D. (1998). Elements of Scientific Inquiry. Cambridge: MIT Press.
  • Rott, H. (2008). A new psychologism in logic? Reflections from the point of view of belief revision. Studia Logica, 88(1):113-136.
  • Rott, H., Shifting priorities: Simple representations for twenty-seven iterated theory change operators. In H. W. David Makinson, Jacek Malinowski, editor, Towards Mathematical Philosophy, pages 269-296. Springer, 2009.
  • Spohn, W., Ordinal conditional functions: a dynamic theory of epistemic states. In Causation in Decision, Belief Change, and Statistics, volume II, pages 105-134,1988.
  • Stalnaker, R. Iterated belief revision. Erkenntnis, 70(2):189-209, 2009.
  • von Wright, G.H (1963). The Logic of Preference. Edinburgh, 1963.