Undecidability of interval temporal logics with the overlap modality

TIME 2009 - 16th International Symposium on Temporal Representation and Reasoning

Volumn , Issue , 2009, Pages 88-95

  Bresolin, Davide ^a   Della Monica, Dario ^b   Goranko, Valentin ^c   Montanari, Angelo ^b   Sciavicco, Guido ^d  

^a UNIVERSITY OF VERONA   (Italy)

^b UNIVERSITY OF UDINE   (Italy)

^c TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

^d UNIVERSITY OF MURCIA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

INTERVAL LOGIC; INTERVAL TEMPORAL LOGIC; MODAL OPERATORS; NON-TRIVIAL; UNDECIDABILITY;

AUTOMATA THEORY;

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

References (16)

1. J. F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832-843, 1983.
2. E. Börger, E. Grädel, and Y. Gurevich. The Classical Decision Problem. Springer, 1997.
3. D. Bresolin, D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco. Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. In Proc. of 15th Int. Conf. on Logic for Programming, Artificial Intelligence, and Reasoning, volume 5330 of LNCS, pages 590-604. Springer, 2008.
4. D. Bresolin, V. Goranko, A. Montanari, and P. Sala. Tableau-based decision procedures for the logics of subin-terval structures over dense orderings. Journal of Logic and Computation, doi:10.1093/logcom/exn063, 2008.
5. D. Bresolin, V. Goranko, A. Montanari, and G. Sciavicco. On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. In Proc. of the International Symposium on Logical Foundations of Computer Science, volume 4514 of LNCS, pages 84-99. Springer, 2007.
6. D. Bresolin, V. Goranko, A. Montanari, and G. Sciavicco. Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions. Submitted, 2008.
7. D. Bresolin, A. Montanari, P. Sala, and G. Sciavicco. Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. In Proc. of the 11th European Conference on Logics in AI, volume 5293 of LNAI, pages 62-75. Springer, 2008.
8. Z. Chaochen, C. A. R. Hoare, and A. P. Ravn. A calculus of durations. Inf. Proc. Letters, 40(5):269-276, 1991.
9. C. J. Coetzee. Representation Theorems for Classes of Interval Structures, Master Thesis. University of Johannesburg, South Africa, 2009.
10. D. Gabbay, A. Kurusz, F. Wolter, and M. Zakharyaschev, editors. Many-Dimensional Modal Logics: Theory and Applications. Elsevier, 2003.
11. J. Halpern and Y. Shoham. A propositional modal logic of time intervals. Journal of the ACM, 38(4):935-962, 1991.
12. I. Hodkinson, A. Montanari, and G. Sciavicco. Non-finite axiomatizability and undecidbility of interval temporal logics with C, D, and T. In Proc. of the 17th Conference of the European Association Computer Science Logic, volume 5213 of LNCS, pages 308-322. Springer, 2008.
13. C. Lutz and F. Wolter. Modal logics of topological relations. Logical Methods in Computer Science, 2(2), 2006.
14. M. Marx and M. Reynolds. Undecidability of compass logic. Journal of Logic and Computation, 9(6):897-914, 1999.
15. M. Marx and Y. Venema. Multi-Dimensional Modal Logics. Kluwer Academic Press, 1997.
16. B. Moszkowski. Reasoning about digital circuits. Tech. rep. stan-cs-83-970, Dept. of Computer Science, Stanford University, Stanford, CA, 1983.