Aczel, P., 1988, Non-Well-Founded Sets, CSLI Lecture Notes, Stanford.
Barwise, J., 1981, "Scenes and other situations," Journal of Philosophy
van Emde Boas, P., Groenendijk, J., and Stokhof, M., 1980, "The conway paradox: Its solution in an epistemic framework," pp. 159–182 in Proceedings of the Third Amsterdam Montague Symposion.
Fagin, R., Halpern, J.Y., Moses, Y., and Vardi, M., 1995, Reasoning about Knowledge, Cambridge, MA: The MIT Press.
Fagin, R., Halpern, J.Y., and Vardi, M.Y., 1991, "A model theoretic analysis of knowledge," Journal of the Association for Computing Machinery
Gärdenfors, P., 1988, Knowledge in Flux, Cambridge, MA: The MIT Press.
Goldblatt, R., 1987, Logics of Time and Computation, CSLI Lecture Notes.
Groeneveld, W., 1995, "Logical investigations into dynamic semantics," Ph.D. Thesis, ILLC Dissertation Series 1995-18, University of Amsterdam.
Jaspars, J., 1994, "Calculi for constructive communication. A study of the dynamics of partial states," Ph.D. Thesis, ITK, Katholieke Universiteit Brabant.
Katsuno, H. and Mendelzon, A.O., 1992, "On the difference between updating a knowledge base and revising it", pp. 183–203 in Belief Revision, P. Gärdenfors, ed., Cambridge: Cambridge University Press.
McCarthy, J., 1990, "Formalization of two puzzles involving knowledge," pp. 1–61 in Formalizing Common Sense: Papers by John McCarthy, V. Lifschitz, ed., Norwood, NJ: Ablex.
Moses, Y., Dolev, D., and Halpern, J.Y., 1986, "Cheating husbands and other stories: A case study of knowledge, action, and communication," Distributed Computing
Pratt, V.R., 1976, "Semantical considerations on floyd-hoare logic," pp. 109–121 in Proceedings of 17th IEEE Symposium on Foundations of Computer Science.
de Rijke, M., 1993, "A system of dynamic modal logic," in Extending Modal Logic, Ph.D. Thesis, ILLC Dissertation Series 1993-4, University of Amsterdam.
Segerberg, K., 1995, "Belief revision from the point of view of doxastic logic," Bulletin of the IGPL
Shoham, Y., 1993, "Agent oriented programming," Artificial Intelligence
Veltman, F., 1996, "Defaults in update semantics," Journal of Philosophical Logic