Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Baltag, A., Moss, L.S.: Logics for epistemic programs. Synthese 139, 165–224 (2004)
2. Baltag, A., Smets, S.: Conditional doxastic models: a qualitative approach to dynamic belief revision. Electron. Notes Theor. Comput. Sci. 165, 5–21 (2006)
3. Baltag, A., Smets, S.: A qualitative theory of dynamic interactive belief revision. In: Woolridge, M., Bonanno, G., van der Hoek, W. (eds.) Texts in Logic and Games, vol. 3, pp. 9–58. Amsterdam University Press, Amsterdam (2008)
4. van Benthem, J.: Dynamic logic for belief revision. J. Appl. Non-Class. Logics 17(2), 129–155 (2007)
5. van Benthem, J.: Tracking information. In: Bimbo, K. (ed.) J. Michael Dunn on Information Based Logics, pp. 363–389. Springer, Cham (2016). doi:
10.1007/978-3-319-29300-4