General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00) Philosophical and critical aspects of logic and foundations (03A05) Temporal logic (03B44) Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65)
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.
- Handbook of philosophical logic. Volume II: Extensions of classical logic
- scientific article; zbMATH DE number 747023
- scientific article; zbMATH DE number 1749195
- The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
- Temporal logic. From ancient ideas to artificial intelligence
- Handbook of philosophical logic. Volume II: Extensions of classical logic
- Handbook of philosophical logic. Vol. 10
- Handbook of philosophical logic. Vol. 5
- On Blass translation for Leśniewski's propositional ontology and modal logics
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
- Tensed mereology
- Correspondence analysis and automated proof-searching for first degree entailment
- A logic of separating modalities
- Necessarily maybe: quantifiers, modality and vagueness
- On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G
- scientific article; zbMATH DE number 724630 (Why is no real title available?)
- Logic-based aggregation methods for ranking student applicants
- Системы временной логики I: моменты, истории, деревья
- Why paraconsistent logics?
- A survey of annotated logics
- Truth, Trivialism, and Perceptual Illusions
- Dynamic Epistemic Logic as a Substructural Logic
- Semi-implication: a chapter in universal logic
- Handbook of philosophical logic. Vol. 2.
- Некоторые предварительные условия для создания «многомировой теории всего» и развития интеллектуальной интуиции
- Multiple-valued semantics for metric temporal logic
- Puzzles of existential generalisation from type-theoretic perspective
- Completeness of tableau calculi for two-dimensional hybrid logics
- Two cases of deduction with non-referring descriptions
- Handbook of philosophical logic. Vol. 8
This page was built for publication: Handbook of philosophical logic. Vol. 7
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1777641)
