Abstract
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.
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.
Journal of Applied Non-Classical Logics – Taylor & Francis
Published: Jan 1, 2004
Keywords: interval temporal logic; duration calculus; expressiveness; axiomatic system; decidability
Access the full text.
Sign up today, get DeepDyve free for 14 days.