Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
From MaRDI portal
Publication:1328657
DOI10.1007/BFb0013976zbMath0875.03007MaRDI QIDQ1328657
No author found.
Publication date: 26 July 1994
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Proceedings of conferences of miscellaneous specific interest (00B25) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) General topics in the theory of software (68N01)
Related Items
Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility ⋮ Axiomatization of a branching time logic with indistinguishability relations ⋮ On Hamblin's 15 Tense Theorem ⋮ Metric temporal reasoning with less than two clocks ⋮ Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models ⋮ First-order logic and its infinitary quantifier extensions over countable words ⋮ Multiagent temporal logics, unification problems, and admissibilities ⋮ A Cookbook for Temporal Conceptual Data Modelling with Description Logics ⋮ Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting ⋮ A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS ⋮ Backdoors for linear temporal logic ⋮ On the axiomatizability of some first-order spatio-temporal theories ⋮ Partial and paraconsistent approaches to future contingents in tense logic ⋮ Branching time logics with multiagent temporal accessibility relations ⋮ On Linear Logic of Knowledge and Time ⋮ A Correspondence between Temporal Description Logics ⋮ A ModalWalk Through Space ⋮ DL-Lite with Temporalised Concepts, Rigid Axioms and Roles ⋮ A Road Map of Interval Temporal Logics and Duration Calculi ⋮ A Road Map of Interval Temporal Logics and Duration Calculi ⋮ Rasiowa-Sikorski deduction systems in computer science applications. ⋮ Calendar Logic
