1. S. Feferman, J. John W. Dawson, W. Goldfarb, C. Parsons, and R. N. Solovay, editors. Kurt Gödel Collected Works, Volume III, Unpublished Essays and Lectures. Oxford University Press, New York, 1995.
2. Lect Notes Comput Sci;M. C. Fitting,2000
3. M. C. Fitting. Types, Tableaus, and Gödel’s God. 2000. Available on my web site:
http://comet.lehman.cuny.edu/fitting
.
4. M. C. Fitting and R. Mendelsohn. First-Order Modal Logic. Kluwer, 1998. Paperback, 1999.
5. D. Gallin. Intensional and Higher-Order Modal Logic. North-Holland, 1975.