00000000000000000000000000000000000000000000000000000000000Eng00منطق زمانی [کتاب انگلیسی]Springer ViennaSpringer Vienna 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 رشر , نیکلاس (Nicholas Rescher،فیلسوف و خاورشناس آلمانی قرن بیستم میلادی), 1928# 1928# Author Urquhart, Alasdair Author book marcgt 9783709176665