1. G. Boolos and R. Jeffrey. Computability and Logic, 3rd edition. Cambridge University Press, (1st edition 1974), 1989.
2. K. Bowen. Model Theory for Modal Logic. Reidel, Dordrecht, 1979.
3. A. Bressan. A General Interpreted Modal Calculus. Yale University Press, 1973.
4. R. Carnap. Meaning and Necessity. University of Chicago Press, 1947.
5. M. J. Cresswell. Incompleteness and the Barcan formula. Journal of Philosophical Logic, 24:379–403, 1995.