Axiomatisation and decidability of multi-dimensional duration calculus

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn , Issue , 2005, Pages 122-130

  Schäfer, Andreas ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

Duration Calculus; Mobile systems; Real time systems; Spatial logic; Temporal logic

Indexed keywords

AXIOMATISATION; DECIDABLE SUBSETS; DURATION CALCULUS; INTERVAL TEMPORAL LOGIC; MOBILE SYSTEMS; PRACTICAL USE; SPATIAL LOGIC; SPATIO-TEMPORAL; SPECIFICATION AND VERIFICATION; TOOL SUPPORT;

CALCULATIONS; COMPUTABILITY AND DECIDABILITY; TEMPORAL LOGIC;

REAL TIME SYSTEMS;

EID: 33845930873     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TIME.2005.15     Document Type: Conference Paper

References (15)

1. R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183-235, 1994.
2. B. Bennett and A. Cohn. Multi-Dimensional Multi-Modal Logics as a Framework for Spatio-Temporal Reasoning. Applied Intelligence, 17(3): 239-251, 2002.
3. D. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. Many-Dimensional Modal Logics: Theory and Applications. Elsevier, 2003.
4. D. M. Gabbay. Fibring Logics. Oxford University Press, Oxford, 1999.
5. A. Galton. Towards a qualitative theory of movement. In Spatial Information Theory, pages 377-396, 1995.
6. D. Giammarresi and A. Restivo. Handbook of Formal Languages - Beyond Words, volume 3, chapter Two-Dimensional Languages, pages 215-267. Springer, 1997.
7. M. R. Hansen and Zhou Chaochen. Duration Calculus: Logical Foundations. Formal Aspects of Computing, 9:283-330, 1997.
8. M. R. Hansen and Zhou Chaochen. Duration Calculus: A Formal Approach to Real-Time Systems. EATCS: Monographs in Theoretical Computer Science. Springer, 2004.
9. S. Merz, M. Wirsing, and 1 Zappe. A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. In M. Pezzè, editor, FASE 2003, Warsaw, Poland, volume 2621 of LNCS, pages 87-1014. Springer, 2003.
10. R. Milner. Communicating and mobile systems: the π-calculus. Cambridge University Press, 1999.
11. P. Pandya. Specifying and deciding qauntifled discrete-time duration calculus formulae using dcvalid. Technical report, Tata Institute of Fundamental Research, 2000.
12. D. A. Randell, Z. Cui, and A. Cohn. A Spatial Logic Based on Regions and Connection. In B. Nebel, C. Rich, and W. Swartout, editors, KR '92., pages 165-176. Morgan Kauf-mann, San Mateo, California, 1992.
13. A. Schäfer. A Calculus for Shapes in Time and Space. In Z. Liu and K. Araki, editors, ICTAC 2004, volume 3407 of LNCS, pages 463-478. Springer, 2005.
14. F. Wolter and M. Zakharyaschev. Reasoning about distances. In G. Gottlob and T. Walsh, editors, IJCAI-03, Aca-pulco, Mexico, August 9-15, 2003, pages 1275-1282. Morgan Kaufmann, 2003.
15. Zhou Chaochen, C. Hoare, and A. Ravn. A calculus of durations. IPL, 40(5):269-276, 1991.