Handbook of philosophical logic. Vol. 7 (Q1777641): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Import240304020342 (talk | contribs)
Set profile property.
 
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Latest revision as of 04: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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references