The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
From MaRDI portal
Publication:1837679
zbMath0508.03008MaRDI QIDQ1837679
Publication date: 1983
Published in: Synthese Library (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Model theory (03C99) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)
Related Items
A propositional dense time logic ⋮ Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements ⋮ Complete embeddings of linear orderings and embeddings of lattice-ordered groups ⋮ Modeling concurrency with partial orders ⋮ Системы временной логики I: моменты, истории, деревья ⋮ Atoms of tense algebras ⋮ Some considerations on nonlinear time intervals ⋮ Temporal theories of reasoning ⋮ Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition ⋮ The logic of empirical theories revisited ⋮ Interpreting a dynamic and uncertain world: task-based control ⋮ Programming in metric temporal logic ⋮ A functorial semantics for observed concurrency ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ Tense logic based on finite orthomodular posets ⋮ A modal logic framework for reasoning about comparative distances and topology ⋮ Multi-agent logics with multi-valuations and intensional logical operations ⋮ Multi-agent temporal nontransitive linear logics and the admissibility problem ⋮ A spurious confusion in temporal logic ⋮ Mereology and uncertainty ⋮ Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms ⋮ THE LOGIC AND TOPOLOGY OF KANT’S TEMPORAL CONTINUUM ⋮ Planning temporal events using point-interval logic ⋮ A multiset-based model of synchronizing agents: Computability and robustness ⋮ The complexity of finite model reasoning in description logics ⋮ A note on the modal and temporal logics for \(n\)-dimensional spacetime ⋮ Thick 2D relations for document understanding ⋮ Temporal representation and reasoning in artificial intelligence: A review ⋮ An unified CGA-based formal expression of spatio-temporal topological relations for Computation and analysis of geographic objects ⋮ Events in branching time ⋮ THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE ⋮ FULL MEREOGEOMETRIES ⋮ Event-based time-stamped claim logic ⋮ Timing in music and modal temporal logic ⋮ On logics with coimplication ⋮ Decidability: theorems and admissible rules ⋮ Ordinal scales in the theory of measurement ⋮ Defining a relativity-proof notion of the present via spatio-temporal indeterminism ⋮ Axiomatisation and decidability of \(F\) and \(P\) in cyclical time ⋮ Taking times out: tense logic as a theory of time ⋮ A comparison of point-based approaches to qualitative temporal reasoning
