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)
00B25: Proceedings of conferences of miscellaneous specific interest
03B45: Modal logic (including the logic of norms)
68T27: Logic in artificial intelligence
68-06: Proceedings, conferences, collections, etc. pertaining to computer science
03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
68N01: General topics in the theory of software
Related Items
On Linear Logic of Knowledge and Time, Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility, A Road Map of Interval Temporal Logics and Duration Calculi, A Road Map of Interval Temporal Logics and Duration Calculi, Axiomatization of a branching time logic with indistinguishability relations, On the axiomatizability of some first-order spatio-temporal theories, Partial and paraconsistent approaches to future contingents in tense logic, Backdoors for linear temporal logic, Rasiowa-Sikorski deduction systems in computer science applications., Branching time logics with multiagent temporal accessibility relations, First-order logic and its infinitary quantifier extensions over countable words, Multiagent temporal logics, unification problems, and admissibilities, On Hamblin's 15 Tense Theorem, Metric temporal reasoning with less than two clocks, A Cookbook for Temporal Conceptual Data Modelling with Description Logics, Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting, Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models, A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS, A Correspondence between Temporal Description Logics, A ModalWalk Through Space, DL-Lite with Temporalised Concepts, Rigid Axioms and Roles, Calendar Logic