1. Aspects of Basic Logic. PhD Thesis, Department of Mathematics, Statistics and Computer Science, Marquette University, Milwaukee 1995.
2. The Unprovability of Consistency: An Essay in Modal Logic. Cambridge University Press, Cambridge 1979.
3. A completeness theorem in modal logic
4. Some embedding theorems for modal logic.