Journal of Applied Non-Classical Logics · 2004 · 148 citations · 52 references
HumanitiesComputer ScienceMathematicsFormal MethodsLogicReal-time SystemsFirst-order LogicFormal SemanticsModal LogicModel CheckingPredicate LogicTemporal LogicAxiomatic SemanticsDecidabilityDecidability ProblemsFirst-order Temporal LogicInterval Temporal LogicLinear Temporal LogicPropositional Temporal LogicTemporal Operators
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.
52
Maintaining knowledge about temporal intervals
James F. Allen · Communications of the ACM · 1983 · 7.5K citations · Full text
Introduction to automata theory, languages, and computation
Computer Languages · 1980 · 6.9K citations
J. C. C. McKinsey, Hans Reichenbach · American Mathematical Monthly · 1948 · 2.3K citations