A Manual of Intensional Logic

Intensional logic, as understood here, is based on the broad presupposition that so-called "intensional contexts" in natural language can be explained semantically by the idea of multiple reference. The text reviews tense, modality, and conditionals, then presents developments in intensional theory, including partiality and generalized quantifiers.

Johan van Benthem is professor of mathematical logic at the University of Amsterdam.

1/1/1998