1. BARWISE, J., and S. FEFERMAN, (eds.), Model-Theoretic Logics, New York, Springer-Verlag, 1985.
2. BETH E. W., ‘On Padoa's method in the theory of definitions’, Indagationes Math. 15:330–339, 1953.
3. BICARREGUI, J., T. DIMITRAKOS, D. GABBAY, AND T. MAIBAUM, ‘Interpolation in Practical Formal Development’, Logic Journal of the IGPL 9:247–259, 2001.
4. CHAGROV, A. V., ‘Undecidable properties of extensions of the provability logic’, Algebra and Logic 29:350–367, 1990.
5. CHAGROV, A., AND M. ZAKHARYASCHEV, Modal Logic, Oxford University Press, Oxford, 1997.