The Logic of Time

1983

Reidel, Dordrecht, (Synthese Library 156).

Modal Logic and Classical Logic

1985

Bibliopolis, Napoli

Essays in Logical Semantics

1986

Reidel, Dordrecht, Studies in Linguistics and Philosophy 29

A Manual of Intensional Logic

1988

Stanford & The University of Chicago Press, Chicago.

Language in Action: Categories, Lambdas and Dynamic

1991

North-Holland, Amsterdam, (Studies in Logic 130)

Exploring Logical Dynamics

1996

CSLI Publications & Cambridge University Press

Handbook of Logic and Language

1997

North-Holland, Amsterdam & MIT Press; with Alice ter Meulen

Handbook of Modal Logic

2006

Elsevier, Amsterdam; with Patrick Blackburn & F. Wolter

Handbook of Spatial Logics

2007

Elsevier, Amsterdam; with Marco Aiello & Ian Pratt-Hartmann

Handbook of the Philosophy of Information

2008

Elsevier, Amsterdam; with Pieter Adriaans

Modal Logic for Open Minds

2010

Center for the Study of Language and Information, Stanford.

Logical Dynamics of Information and Interaction,

2010

 Cambridge University Press,