1. Barwise, J. and van Benthem, J.: 1996, Interpolation, preservation, and pebble games, ILLC preprint ML–96–12 (August 1996).
2. Barwise, J. and Moss, L. S.: 1996, Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena. CSLI Publications, Stanford.
3. Benthem, J. v.: 1984, Modal correspondence theory, in D. Gabbay and F. Guenther (eds.) Handbook of Philosophical Logic, vol. 2, Reidel, 167–247.
4. Benthem, J. v.: 1985, Modal Logic and Classical Logic. Bibliopolis, Naples.
5. Benthem, J. v.: 1996, Exploring Logical Dynamics. Studies in Logic, Language, and Information, CSLI Publications, Stanford.