1. Aumann, R.: Agreeing to Disagree. Ann. Stat. 4, 1236–1239 (1976)
2. Bell, J.L.: A New Approach to Quantum Logic. Brit. J. Philos. Sci. 37, 83–99 (1986)
3. Boutilier, C.: Revision Sequences and Nested Conditionals. In: Bajcsy, R. (ed.) IJCAI 1993, pp. 519–525. Morgan Kaufmann, California (1993)
4. Dalal, M.: Investigations into a Theory of Knowledge Base Bevision: Preliminary Report. In: Rosenbloom, P., Szolovits, P. (eds.) AAAI 1988, vol. 2, pp. 475–479. AAAI Press, Menlo Park (1988)
5. Fagin, R., Halpern, J.Y., Vardi, M.Y.: A model-theoretic Analysis of Knowledge. J. ACM 38(2), 382–428 (1991)