- Classical Mathematical Logic: The Semantic Foundations of Logic
- Compositionality in Formal Semantics
- Doing Worlds with Words: Formal Semantics Without Formal Metaphysics
- Elements of Formal Semantics: An Introduction to the Mathematical Theory of Meaning in Natural Language
- Formal Semantics: An Introduction
- Logic as a Tool: A Guide to Formal Logical Reasoning
- The Cambridge Handbook of Formal Semantics
- The Formal Semantics of Programming Languages: An Introduction
- What is Meaning? Fundamentals of Formal Semantics
- Formal Semantics for Natural Language
- A Formal Semantics for the C Programming Language