منطق زمانی [کتاب انگلیسی] | کتابخانه مجازی الفبا

Table of contents :
Front Matter....Pages I-XVI
The Background of Temporal Logic....Pages 1-12
Topological Logic....Pages 13-22
Fundamental Distinctions for Temporal Logic....Pages 23-30
The Basic System R of Temporal Logic....Pages 31-49
The Introduction of Tense Operators....Pages 50-54
The System K t of Minimal Tense Logic....Pages 55-67
Branching Time: The System K b ....Pages 68-87
Linear Time: The System K l and Its Variants....Pages 88-97
Additive Time: The System R ⊕ and R ⊕ ±....Pages 98-102
Metric Time and Chronological Logic: The System R + ....Pages 103-116
Tense Logical Characterizability and Definability....Pages 117-124
Temporal Modality....Pages 125-137
Temporally Conditioned Descriptions and the Concept of Temporal Purity....Pages 138-154
The Theory of Processes....Pages 155-169
The Logic of World States....Pages 170-183
The Dimensionality of Time....Pages 184-188
The “Master Argument” of Diodorus and Temporal Determinism....Pages 189-212
Many-Valued Approaches to Temporal Logic....Pages 213-227
Propositional Quantification in Tensed Statements....Pages 228-233
Quantification,Temporal Existence, and Identity....Pages 234-248
Back Matter....Pages 249-273