Temporal logics
نویسنده
چکیده
These notes have been written as a support for the course about temporal logics taught at MPRI (Master Parisien de Recherche en Informatique) during the first semester of year 2006-2007. They contain most of what will be studied during the course, most often with detailled proofs, and several exercises, ranked from easy ( ) to hard ( ).
منابع مشابه
Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract)
In contrast to qualitative linear temporal logics, which can be used to state that some property will eventually be satisfied, metric temporal logics allow to formulate constraints on how long it may take until the property is satisfied. While most of the work on combining Description Logics (DLs) with temporal logics has concentrated on qualitative temporal logics, there has recently been a gr...
متن کاملMulti-modal and Temporal Logics with Universal Formula - Reduction of Admissibility to Validity and Unification
The article studies multi-modal (in particular temporal, tense, logics) possessing universal formulas. We prove (Theorems 11 and 12) that the admissibility problem for inference rules (inference rules with parameters) is decidable for all decidable multi-modal (in particular, temporal) logics possessing an universal formula and decidable w.r.t. unification (unification with parameters). These t...
متن کاملMetric Temporal Description Logics with Interval-Rigid Names
In contrast to qualitative linear temporal logics, which can be used to state that some property will eventually be satisfied, metric temporal logics allow to formulate constraints on how long it may take until the property is satisfied. While most of the work on combining Description Logics (DLs) with temporal logics has concentrated on qualitative temporal logics, there has recently been a gr...
متن کاملFixpoint Extensions of Temporal Description Logics
In this paper we introduce a decidable fixpoint extension of temporal Description Logics. We exploit the decidability results obtained for various monodic extensions of Description Logics to obtain decidability and tight complexity results for temporal fixpoint extensions of these Description Logics and more generally for the decidable monodic fragments of first order logic.
متن کاملCoalition Games and Alternating Temporal Logics
We draw parallels between coalition game logics developed in [Pauly, 2000b], [Pauly, 2000c], and [Pauly, 2001] on one hand, and alternating-time temporal logics of computations introduced in [Alur et al, 97] on the other. In particular, we show equivalence of their semantics, embedding of coalition game logics into alternating-time temporal logic, and propose axiomatic systems for these logics.
متن کاملRelational dual tableaux for interval temporal logics
Interval temporal logics provide both an insight into a nature of time and a framework for temporal reasoning in various areas of computer science. In this paper we present sound and complete relational proof systems in the style of dual tableaux for relational logics associated with modal logics of temporal intervals and we prove that the systems enable us to verify validity and entailment of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006