Axiomatisation and decidability of multi-dimensional duration calculus Andreas Schaefer   View Paper (PDF)   Return to Temporal Logic in Computer Science 1 Abstract 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. ©2006 Association for Computing Machinery