Bell, J., 1989, "The logic of nonmonotonicity," *Artificial Intelligence*
**41**, 365–374.

Burgess, J.P., 1981, "Quick completeness proofs for some logics of conditionals," *NotreDame Journal of Formal Logic*
**22**, 76–84.

Chellas, B.F., 1980, "Basic conditional logic," *Journal of Philosophical Logic*
**4**, 133–153.

de Rijke, M., 1994, "Meeting some neighbors," in *Logic and Information Flow*, J. van Eijck and A. Visser, eds., Cambridge, MA: MIT Press.

Gärdenfors, P., 1978, "Conditionals and changes of belief," *Acta Philos. Fennica*
**30**, 381–404.

Gärdenfors, P., 1986, "Belief revision and the Ramsey test for conditionals," *Philosophical Review*
**91**, 81–93.

Gärdenfors, P., 1988, *Knowledge in Flux: Modeling the Dynamics of Epistemic States*, Cambridge, MA: MIT Press, Bradford Books.

Goldblatt, R., 1987, *Logics of Time and Computation*, CSLI Lecture Notes.

Grahne, G., 1991, "Updates and counterfactuals," pp. 269–276 in *Proceedings Second International Conference on Principles of Knowledge Representation and Reasoning (KR ’91)*, n Francisco, CA: Morgan Kaufmann.

Katsuno, H. and Mendelzon, A.O., 1991, "Propositional knowledge base revision and minimal change," *Artificial Intelligence*
**52**, 263–294.

Katsuno, H. and Mendelzon, A.O., 1992, "On the difference between updating a knowledge base and revising it," pp. 183–203 in *Belief Revision*, Volume 29 in *Cambridge Tracts in Theoretical Computer Science*, P. Gärdenfors, ed., Cambridge: Cambridge University Press.

Keller, A.M. and Winslett Wilkins, M., 1985, "On the use of an extended relational model to handle changing incomplete information," *IEEE Transactions on Software Engineering*
**11**(7), 620–633.

Lewis, D.K., 1973, *Counterfactuals*, Oxford: Basil Blackwell.

Makinson, D., 1985, "How to give it up: A survey of some formal aspects of the logic of theory change," *Synthèse*
**62**, 347–363.

Nute, D., 1980, *Topics in Conditional Logic*, Dordrecht: D. Reidel.

Nute, D., 1984, "Conditional logic," pp. 387–439 in *Handbook of Philosophical Logic*, Chapter II.8, D.M. Gabbay and F. Guenthner, eds., Dordrecht: D. Reidel.

Pollock, J.L., 1981, "A refined theory of counterfactuals," *Journal of Philosophical Logic*
**10**, 239–266.

Popkorn, S., 1994, *First Steps in Modal Logic*, Cambridge: Cambridge University Press.

Ramsey, F.P., 1931, "Truth and probability," in *The Foundations of Probability and Other Logical Essays*, R.B. Braithwaite, ed., New York: Harcourt Brace.

Ryan, M. and Schobbens, P.-Y., 1996, "Intertranslating counterfactuals and updates," pp. 100–104 in *12th European Conference on Artificial Intelligence (ECAI)*, W. Wahlster, ed., Chichester, U.K.: John Wiley & Sons.

Ryan, M., Schobbens, P.-Y., and Rodrigues, O., 1996, "Counterfactuals and updates as inverse modalities," pp. 163–173 in *TARK’96: Proceedings Theoretical Aspects of Rationality and Knowledge*, Y. Shoham, ed., San Francisco: Morgan Kaufmann.

Stalnaker, R.C., 1968, *A Theory of Conditionals*, Volume 2 of *American Philosophical Quarterly Monograph Series* (ed. Nicholas Rescher), pp. 98–112, Oxford: Blackwell.

van Benthem, J., 1984, "Correspondence theory," pp. 167–247 in *Handbook of Philosophical Logic*, Volume 2, D. Gabbay and F. Guenthner, eds., Dordrecht: D. Reidel.

van Benthem, J., 1991, "Logic and the flow of information," in *Proceedings 9th LMPS*.

Venema, Y., 1991, "Many-dimensional modal logic," Ph.D. Thesis, Universiteit van Amsterdam.