The ultimate undecidability result for the halpern-shoham logic

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2011, Pages 377-386

  Marcinkowski, Jerzy ^a   Michaliszyn, Jakub ^a  

^a UNIVERSITY OF WROC AW   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETE STRUCTURE; MODAL LOGIC; SATISFIABILITY PROBLEMS; SUBINTERVALS; TIME INTERVAL; UNDECIDABILITY;

COMPUTATION THEORY;

COMPUTABILITY AND DECIDABILITY;

EID: 80052177710     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/LICS.2011.21     Document Type: Conference Paper

References (18)

1. J. F. Allen, Maintaining knowledge about temporal intervals, Communications of the ACM 26 (11) (1983) 832-843.
2. D. Bresolin, D. Della Monica, V. Goranko, A. Montanari, 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, Vol. 5330 of LNCS, Springer, 2008, pp. 590-604.
3. D. Bresolin, D. Della Monica, V. Goranko, A. Montanari, G. Sciavicco, Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. Proceedings of M4M 6: 6th Workshop on Methods for Modalities, November 2009.
4. D. Bresolin, V. Goranko, A. Montanari, P. Sala, Tableau-based decision procedures for the logics of subinterval structures over dense orderings. Journal of Logic and Computation, vol. 20, n. 1, 2010, pp. 133-166.
5. D. Bresolin, V. Goranko, A. Montanari, G. Sciavicco, Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions, Annals of Pure and Applied Logic, Vol.161(3), 2009, pp. 289-304.
6. D. Bresolin, A. Montanari, P. Sala, G. Sciavicco, Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders, in: Proc. of the 11th European Conference on Logics in AI, Vol. 5293 of LNAI, Springer, 2008, pp. 62-75.
7. V. Goranko, A. Montanari, and G. Sciavicco, A road map of interval temporal logics and duration calculi. Journal of Applied Non-Classical Logics, 14(1-2):9-54, 2004.
8. C. L. Hamblin, Instants and intervals. Studium Generale, 27:127-134, 1971.
9. J. Halpern, Y. Shoham, A propositional modal logic of time intervals, Journal of the ACM 38 (4) (1991) 935-962.
10. K. Lodaya, Sharpening the undecidability of interval temporal logic. In Proc. of 6th Asian Computing Science Conference, volume 1961 of LNCS, pages 290-298. Springer, 2000. (Pubitemid 33214024)
11. J. Marcinkowski, J. Michaliszyn, and E. Kieronski, B and D Are Enough to Make the Halpern-Shoham Logic Undecidable. In Proc. 37th International Colloquium on Automata, Languages and Programming, ICALP 2010, Proceedings, Part II, LNCS 6199, pages 357-368.
12. A. Montanari, I. Pratt-Hartmann and P. Sala, Decidability of the Logic of the Reflexive Subinterval Relation over Finite Linear Orders, Proceedings of the 17th International Symposium on Temporal Representation and Reasoning (TIME), Paris, France, September 2010, pp. 27-34.
13. A. Montanari, G. Puppis, P. Sala, A decidable spatial logic with cone-shaped cardinal directions, in: 18th Annual Conference of the EACSL, Vol. 5771 of LNCS, 2009, pp. 394-408.
14. B. C. Moszkowski, Reasoning about Digital Circuits. PhD thesis, Stanford University, Computer Science Department, July 1983.
15. A. Montanari, Gabriele Puppis, and Pietro Sala, Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals. In Proc. 37th International Colloquium on Automata, Languages and Programming, ICALP 2010, Proceedings, Part II, LNCS 6199, pages 345-356.
16. R. Parikh. A decidability result for second order process logic. In Proc. 19th FOCS, pages 177-183. IEEE, October 1978.
17. V. R. Pratt. Process logic. In Proc. 6th POPL, pages 93-100. ACM, January 1979.
18. T. Schwentick, T. Zeume: Two-Variable Logic with Two Order Relations - (Extended Abstract). In Proc. 24th International Workshop of Computer Science Logic, LNCS 6247, pages 499-513.