- A Manual of Intensional Logic (Center for the Study of Language and Information - Lecture Notes)
- Language in Action: Categories, Lambdas, and Dynamic Logic
- Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 (Synthese Library)
- Generalized Quantifiers in Natural Language
- Essays in Logical Semantics (Studies in Linguistics and Philosophy)