zbMATH — the first resource for mathematics

The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse. (English) Zbl 0508.03008
Synthese Library, VOl. 156. Dordrecht - Boston - London: D. Reidel Publishing Company. XVI, 260 p. Dfl. 115.00; $ 49.50 (1983).

03B45 Modal logic (including the logic of norms)
03C99 Model theory
03-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations