1. Alchorron, C., Gärdenfors, P., & Makinson, D. (1985). On the logic of theory change: Partial meet contraction functions and their associated revision functions. The Journal of Symbolic Logic, 50, 510–530.
2. Dedekind, R. (1967) Letter to Keferstein. English translation by Stefan Bauer-Mengelberg and Hao Wang in van Heijenoort, pp. 98–103.
3. Dunmore, C. (1992). Meta-level revolutions in mathematics. In D. Gillies (Ed.), revolutions in mathematics (pp. 209–225). Oxford: Oxford University Press.
4. Gabbay, D. M., Kurucz, A., Wolter, F., & Zakharyaschev, M. (2003). Many-dimensional modal logics: Theory and applications. Amsterdam: Elsevier (134 W. Park).
5. Gärdenfors, P. (1988). Knowledge in flux: Modeling the dynamics of Epistemic States. Cambridge: MIT Press.