Handbook of philosophical logic. Vol. 7
This volume is completely devoted to tense logic. It starts with a chapter on ``Basic tense logic'' by \textit{J. P. Burgess} (pp. 1--42), continues with a long technically oriented chapter on ``Advanced tense logics'' by \textit{M. Finger, D. Gabbay}, and \textit{M. Reynolds} (pp. 43--203), offers then two more philosophically oriented chapters on ``Combinations of tense and modality'' by \textit{R. H. Thomason} (pp. 205--234) and on ``Philosophical perspectives on quantification in tense and modal logic'' by \textit{N. B. Cocchiarella} (pp. 235--275), and closes with the chapter ``Tense and time'' by \textit{S. T. Kuhn} and \textit{P. Portner} (pp. 277--346). From these chapters only the second one, on advanced tense logics, does not have a forerunner in the first edition. This new chapter mainly considers the tense logic with \textit{until} and \textit{since} connectives over different linear time structures, but also some systems which slightly differ in their expressive power. Core topics of interest are axiomatizations, problems of decidability and complexity, proof-theoretic matters within the framework of labelled deductive systems, and relations to logic programming and automata theory, as well as aspects of an imperative future tense. The chapters by Burgess, Thomason, and Cocchiarella have been part of Vol.~2 of the first edition. All of them are here essentially only reprinted, with some few misprints deleted. The final, most linguistically oriented chapter on tense and time had its forerunner in Vol.~4 of the first edition. It has been considerably rewritten, reorganized, and updated such that it surveys now also main developments from the 1990s.
scientific article; zbMATH DE number 2171535