The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
From MaRDI portal
Publication:1188997
zbMath0758.03012MaRDI QIDQ1188997
Publication date: 23 January 1993
Published in: Synthese Library (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Model theory (03C99) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)
Related Items
Multiagent temporal logics with multivaluations ⋮ A general framework for reasoning about change ⋮ Finite \(H\)-dimension does not imply expressive completeness ⋮ On point-based temporal disjointness ⋮ A qualitative fuzzy possibilistic logic ⋮ Reasoning about update logic ⋮ Changing a Semantics: Opportunism or Courage? ⋮ Arthur Prior and hybrid logic ⋮ Unnamed Item ⋮ Temporal theories of reasoning ⋮ A propositional probabilistic logic with discrete linear time for reasoning about evidence ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL ⋮ Reasoning about causality between distributed nonatomic events ⋮ Past, present and future modally introduced ⋮ Allen-like theory of time for tree-like structures ⋮ Generalized concepts of syntactically and semantically trivial differences and instant-based and period-based time ontologies ⋮ Philosophy of science in the Netherlands ⋮ About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders: A New Study of Its Computability ⋮ Inference Rules in Multi-agents’ Temporal Logics ⋮ Adjectival and adverbial modification: the view from modern type theories ⋮ A Branching Time Logical System for Open Distributed Systems Development ⋮ The soundness of internalized polarity marking ⋮ Temporal agent programs ⋮ Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5 ⋮ Branching time, perfect information games, and backward induction ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Temporal Logics with Reference Pointers and Computation Tree Logics ⋮ Two-sorted Point-Interval Temporal Logics ⋮ Lattices of finitely alternative normal tense logics ⋮ The mereotopology of time ⋮ A Road Map of Interval Temporal Logics and Duration Calculi ⋮ A Road Map of Interval Temporal Logics and Duration Calculi ⋮ Measuring inconsistency in some logics with tense operators ⋮ Predicate logic with flexibly binding operators and natural language semantics ⋮ Probabilistic Temporal Logics
