- Language in Action: Categories, Lambdas, and Dynamic Logic
- The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse (Synthese Library)
- 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)