The dark side of interval temporal logic: Sharpening the undecidability border

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn , Issue , 2011, Pages 131-138

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

^a UNIVERSITY OF VERONA   (Italy)

^b UNIVERSITY OF SALERNO   (Italy)

^c UNIVERSITY OF UDINE   (Italy)

^d TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

^e UNIVERSITY OF MURCIA   (Spain)

Author keywords

Interval logic; Temporal logic; Undecidability

Indexed keywords

INTERVAL LOGIC; INTERVAL STRUCTURES; INTERVAL TEMPORAL LOGIC; LINEAR ORDER; RESEARCH AGENDA; SUB-INTERVAL; UNDECIDABILITY;

COMPUTABILITY AND DECIDABILITY; HYDRAULIC STRUCTURES;

TEMPORAL LOGIC;

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

References (18)

1. B. Moszkowski, "Reasoning about digital circuits, " Tech. Rep. STAN-CS-83-970, Dept. of Computer Science, Stanford University, Stanford, CA, 1983.
2. Z. Chaochen, C. A. R. Hoare, and A. P. Ravn, "A calculus of durations, " Inf. Processing Letters, vol. 40, no. 5, pp. 269- 276, 1991.
3. J. F. Allen, "Maintaining knowledge about temporal intervals, " Communications of the ACM, vol. 26, no. 11, pp. 832- 843, 1983.
4. J. Halpern and Y. Shoham, "A propositional modal logic of time intervals, " Journal of the ACM, vol. 38, no. 4, pp. 935- 962, 1991.
5. D. Bresolin, V. Goranko, A. Montanari, and P. Sala, "Tableaux for logics of subinterval structures over dense orderings, " J. of Logic and Computation, vol. 20, pp. 133-166, 2010.
6. D. Bresolin, V. Goranko, A. Montanari, and G. Sciavicco, "Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions, " Annals of Pure and Applied Logic, vol. 161, no. 3, pp. 289-304, 2009.
7. D. Bresolin, A. Montanari, P. Sala, and G. Sciavicco, "Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders, " in Proc. of JELIA'08, ser. LNAI, vol. 5293. Springer, 2008, pp. 62-75.
8. D. Bresolin, A. Montanari, and G. Sciavicco, "An optimal decision procedure for Right Propositional Neighborhood Logic, " J. of Automated Reasoning, vol. 38, no. 1-3, pp. 173- 199, 2007. (Pubitemid 46362156)
9. 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 LPAR'08, ser. LNCS, vol. 5330. Springer, 2008, pp. 590-604.
10. D. Bresolin, D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco, "Undecidability of Interval Temporal Logics with the Overlap Modality, " in Proc. of TIME'09. IEEE Computer Society Press, 2009, pp. 88-95.
11. D. Bresolin, D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco, "Undecidability of the logic of Overlap relation over discrete linear orderings, " ENTCS, vol. 262, pp. 65 - 81, 2010, Proc. of M4M-6, 2009.
12. J. Marcinkowski and J. Michaliszyn, "The ultimate undecidability result for the Halpern-Shoham logic, " 2011, Proc. of LICS'11.
13. D. Della Monica, "Expressiveness, decidability, and undecidability of interval temporal logic, " Ph.D. dissertation, University of Udine, 2011. [Online]. Available: http://www.dia.unisa.it/dottorandi/dario.dellamonica/ phdthesis.pdf.
14. K. Lodaya, "Sharpening the undecidability of interval temporal logic, " in Proc. of ASIAN'00, ser. LNCS, vol. 1961. Springer, 2000, pp. 290-298. (Pubitemid 33214024)
15. J. Marcinkowski, J. Michaliszyn, and E. Kieronski, "B and D are enough to make the Halpern-Shoham logic undecidable, " in Proc. of ICALP'10 - Part II, ser. LNCS, vol. 6199, July 2010, pp. 357-368.
16. E. Börger, E. Grädel, and Y. Gurevich, The Classical Decision Problem. Springer, 1997.
17. K. Lodaya, R. Parikh, R. Ramanujam, and P. S. Thiagarajan, "A logical study of distributed transition systems, " Information and Computation, vol. 119, no. 1, pp. 91 - 118, 1995.
18. A. Montanari, G. Puppis, and P. Sala, "A decidable spatial logic with cone-shaped cardinal directions, " in Proc. of CSL'09, ser. LNCS, vol. 5771, 2009, pp. 394-408.