References

Course on Dynamic Logics for Interactive Belief Revision

By Alexandru Baltag and Sonja Smets

References:

The list of relevant material for our ESSLLI 09 Course on Dynamic Logics for Interactive Belief Revision is very large. Below we mention only the main textbooks, some websites and some names of authors with relevant article contributions.

A. Baltag, L.S. Moss and H.P. van Ditmarsch, "Epistemic Logic and Information Update". In (Eds) P. Adriaans and J. van Benthem", Philosophy of

Information, part of Handbook of the Philosophy of Science, vol. 8, pp. 361-465, Elsevier, 2008

A. Baltag and S. Smets, "A Qualitative Theory of Dynamic Interactive Belief Revision", in G. Bonanno, W. van der Hoek, M. Wooldridge (eds.), Logic and the Foundations of Game and Decision Theory, Texts in Logic and Games, Vol 3, pp.9-58, Amsterdam University Press, 2008

H.P. van Ditmarsch, W. van der Hoek and B.P. Kooi, Dynamic Epistemic Logic, Synthese Library 337, Springer, 2007

R. Fagin, J.Y. Halpern, Y. Moses and M.Y. Vardi, Reasoning about Knowledge, MIT Press, 1995

P. Gardenfors, Knowledge in Flux: Modelling the Dynamics of Epistemic States, MIT Press, 1988

P. Gardenfors and H. Rott, "Belief Revision". In Handbook of Logic of AI and Logic Programming, vol. 4, pp. 35-132, Oxford University Press, 1995.

P. Gardenfors. Belief Revision. Cambridge University Press. 1992.

P. Gochet and P. Gribomont, "Epistemic Logic". In (eds) D. M. Gabbay and J. Woods, Handbook of the History of Logic, vol. 7, pp. 99-195, Elsevier, 2006

J.Y. Halpern, Reasoning about Uncertainty, MIT Press, 2003

S. O. Hansson. A textbook in Belief Dynamics. Dordrecht: Kluwer Academic Publishers. 1999.

J. Hintikka, Knowledge and Belief, Cornell University Press, 1962

J.-J.Ch. Meyer and W. van der Hoek, Epistemic Logic for AI and Computer Science, Cambridge Tracts in Theoretical Computer Science, nr. 41, Cambridge University Press, 1995.

Stanford Encyclopedia of Philosophy: articles on "Defeasible Reasoning: Belief Revision" and "Logics of Belief Revision".

Beliefrevision.org

Various articles and papers by: G. Aucher, A. Baltag, J. van Benthem, C. Boutilier, H. P. van Ditmarsch, J. van Eijk, P. Gardenfors, J. Gerbrandy, E. Gettier, P. Grove, Katsuno and Mendelzon, B.P. Kooi, K. Lehrer, D. Makinson, L.S. Moss, E. Pacuit, J. Plaza, H. Rott, A.C. Nayak, R. Stalnaker, S. Smets, W. Spohn, F.P.J.M. Voorbraak, E. Weidert etc.