Handbook of philosophical logic. Vol. 7 (Q1777641): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q586246 |
Set profile property. |
||
(One intermediate revision by one other user not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Siegfried Johannes Gottwald / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Latest revision as of 05:41, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Handbook of philosophical logic. Vol. 7 |
scientific article |
Statements
Handbook of philosophical logic. Vol. 7 (English)
0 references
25 May 2005
0 references
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.
0 references
tense logic
0 references
logic of time
0 references
formal linguistics
0 references
tenses and modalities
0 references
philosophy of language
0 references