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