Axiomatisation and Decidability of Multi-dimensional Duration Calculus

We investigate properties of a spatio-temporal logic based on an n-dimensional Duration Calculus tailored for the specification and verification of mobile real-time systems. After showing non-axiomatisability, we give a complete embedding in n-dimensional interval temporal logic and present two different decidable subsets, which are important for tool support and practical use.

• Type: Conference
• Year: 2005
• Where: TIME
• Authors: Andreas Schäfer
• Keywords: Interval Temporal Logic, Logical Reasoning, N-dimensional Duration Calculus, Spatio-temporal Logic, TIME 2005