Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
DOI10.1007/BFB0013976zbMATH Open0875.03007MaRDI QIDQ1328657FDOQ1328657
Authors:
Publication date: 26 July 1994
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
General topics in the theory of software (68N01) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Modal logic (including the logic of norms) (03B45) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in artificial intelligence (68T27)
Cited In (23)
- Backdoors for linear temporal logic
- A Road Map of Interval Temporal Logics and Duration Calculi
- Multiagent temporal logics, unification problems, and admissibilities
- DL-Lite with temporalised concepts, rigid axioms and roles
- Axiomatization of a branching time logic with indistinguishability relations
- Rasiowa-Sikorski deduction systems in computer science applications.
- Intransitive temporal multi-agent's logic, knowledge and uncertainty, plausibility
- On linear logic of knowledge and time
- A Road Map of Interval Temporal Logics and Duration Calculi
- Branching time logics with multiagent temporal accessibility relations
- Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
- First-order logic and its infinitary quantifier extensions over countable words
- A Cookbook for Temporal Conceptual Data Modelling with Description Logics
- A Correspondence between Temporal Description Logics
- A modal walk through space
- Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting
- Metric temporal reasoning with less than two clocks
- Title not available (Why is that?)
- A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS
- On Hamblin's 15 tense theorem.
- Calendar Logic
- On the axiomatizability of some first-order spatio-temporal theories
- Partial and paraconsistent approaches to future contingents in tense logic
This page was built for publication: Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1328657)
