Deterministic Temporal Logics and Interval Constraints
نویسندگان
چکیده
منابع مشابه
Deterministic Temporal Logics and Interval Constraints
Temporal logics have gained prominence in computer science as a property specification language for reactive systems. There is even an IEEE standard temporal logic supported by a consortium of Electronic Design Tool developers. Such systems maintain ongoing interaction between the environment and the system and their specification requires formulating constraints on the sequence of steps perfor...
متن کاملInterval Logics for Temporal
Interval Logics for Temporal Speci cation and Veri cation by Y. S. Ramakrishna This thesis investigates temporal speci cation and veri cation techniques using a linear-time temporal logic with interval constructs. It identi es an expressive elementary logic with interval modalities, called Future Interval Logic (FIL). This logic has a natural graphical representation which, combined with its ab...
متن کاملInterval Temporal Description Logics
In this paper, we construct a combination HS-Litehorn of the Halpern-Shoham interval temporal logic HS [15] with the description logic DL-Litehorn [12, 1], which is a Horn extension of the standard language OWL 2 QL. The temporal operators of HS are of the form 〈R〉 (‘diamond’) and [R] (‘box’), where R is one of Allen’s interval relations After, Begins, Ends, During, Later, Overlaps and their in...
متن کاملInterval temporal logics
We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.
متن کاملInterval-Related Interpolation in Interval Temporal Logics
This paper presents a new kind of interpolation theorems about Neighbourhood Logic (NL, [ZH96]) and Interval Temporal Logic (ITL, [Mos85, Dut95]). Unlike Craig interpolation, which holds for these logics too, the new theorems treat the existence of interpolants which specify properties of selected intervals in the models of NL and ITL.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2017
ISSN: 2075-2180
DOI: 10.4204/eptcs.243.2