Handbook of philosophical logic. Vol. 7
type: Item
instance of: scholarly article
title: Handbook of philosophical logic. Vol. 7
zbMATH Open document ID: 1065.03003
published in: Handbook of Philosophical Logic
publication date: 2005-05-25T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 03-00
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B65
zbMATH DE Number: 2171535
zbMATH Keywords: tense logic
zbMATH Keywords: logic of time
zbMATH Keywords: formal linguistics
zbMATH Keywords: tenses and modalities
zbMATH Keywords: philosophy of language
reviewed by: Siegfried J. Gottwald
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 2171535