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 …

Logics for time intervals provide a natural framework for dealing with time in various areas of
computer science and artificial intelligence, such as planning, natural language processing …

This paper introduces left and right neighbourhoods as primitive interval modalities to
deFine other unary and binary modalities of intervals in a first order logic with interval length …

This paper presents a probabilistic extension of Neighbourhood Logic (NL,[14],[1]). The
study of such an extension is motivated by the need to supply the Probabilistic Duration …

We present an algebraic embedding of Neighbourhood Logic (NL) into the framework of
semirings which yields various simplifications. For example, some of the NL axioms can be …

Symposium on Temporal Representation and Reasoning (TIME 2011). The conference was
held in Lübeck, Germany on 12–14 September, 2011, and another special track on ITLs is …

The paper presents probabilistic extensions of interval temporal logic (ITL) and duration
calculus (DC) with infinite intervals and complete Hilbert-style proof systems for them. The …

Duration Calculus (DC) is an interval logic which was introduced to express and reason
about models of real-time systems. DC was introduced by Zhou Chaochen, Tony Hoare and …

This paper presents an interval-based probabilistic temporal logic, that we call probabilistic
interval logic. The new logic is an extension of Interval Temporal Logic (cf. eg Dut95]), and …

This paper presents a new kind of interpolation theorems about Neighbourhood Logic
(NL,[10]) and Interval Temporal Logic (ITL,[8, 4]). Unlike Craig interpolation, which holds for …