- What If--: Toward Excellence in Reasoning
- Models for Modalities: Selected Essays (Synthese Library)
- The Principles of Mathematics Revisited
- Knowledge and Belief: An Introduction to the Logic of the Two Notions
- Lingua Universalis vs. Calculus Ratiocinator: An Ultimate Presupposition of Twentieth-Century Philosophy (Jaakko Hintikka Selected Papers)