Decidability of the interval temporal logic ABB̄ over the natural numbers

Leibniz International Proceedings in Informatics, LIPIcs

Volumn 5, Issue , 2010, Pages 597-608

  Montanari, Angelo ^a   Puppis, Gabriele ^b   Sala, Pietro ^a   Sciavicco, Guido ^c  

^a UNIVERSITY OF UDINE   (Italy)

^b UNIVERSITY OF OXFORD   (United Kingdom)

^c UNIVERSITY OF MURCIA   (Spain)

Author keywords

Compass structures; Complexity; Decidability; Interval temporal logics

Indexed keywords

COMPLEXITY; INTERVAL TEMPORAL LOGIC; NATURAL NUMBER; POINT-BASED; SATISFIABILITY PROBLEMS; SMALL MODEL THEOREM;

COMPUTABILITY AND DECIDABILITY; COMPUTER SCIENCE;

TEMPORAL LOGIC;

EID: 84880317827     PISSN: 18688969     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4230/LIPIcs.STACS.2010.2488     Document Type: Conference Paper

References (20)

1. J.F. Allen. Maintaining knowledge about temporal intervals. Communications of the Association for Computing Machinery, 26(11):832-843, 1983.
2. 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 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), volume 5330 of Lecture Notes in Computer Science, pages 590-604. Springer, 2008.
3. D. Bresolin, V. Goranko, A. Montanari, and P. Sala. Tableau-based decision procedures for the logics of subinterval structures over dense orderings. Journal of Logic and Computation, doi:10.1093/logcom/exn063, 2008.
4. D. Bresolin, V. Goranko, A. Montanari, and G. Sciavicco. On decidability and expressiveness of propositional interval neighborhood logics. In Proceedings of the International Symposium on Logical Foundations of Computer Science (LFCS), volume 4514 of Lecture Notes in Computer Science, pages 84-99. Springer, 2007.
5. D. Bresolin, V. Goranko, A. Montanari, and G. Sciavicco. Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions. Annals of Pure and Applied Logic, 161(3):289-304, 2009.
6. D. Bresolin, A. Montanari, P. Sala, and G. Sciavicco. Optimal tableaux for right propositional neighborhood logic over linear orders. In Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA), volume 5293 of Lecture Notes in Artificial Intelligence, pages 62-75. Springer, 2008.
7. D. Bresolin, A. Montanari, and G. Sciavicco. An optimal decision procedure for Right Propositional Neighborhood Logic. Journal of Automated Reasoning, 38(1-3):173-199, 2007.
8. D. Bresolin, V. Goranko A. Montanari, and G. Sciavicco. Right propositional neighborhood logic over natural numbers with integer constraints for interval lengths. In Proceedings of the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM), pages 240-249. IEEE Comp. Society Press, 2009.
9. D. Gabbay, I. Hodkinson, and M. Reynolds. Temporal Logic: mathematical foundations and computational aspects. Oxford University Press, 1994.
10. V. Goranko, A. Montanari, and G. Sciavicco. Propositional interval neighborhood temporal logics. Journal of Universal Computer Science, 9(9):1137-1167, 2003.
11. V. Goranko, A. Montanari, and G. Sciavicco. A road map of interval temporal logics and duration calculi. Applied Non-classical Logics, 14(1-2):9-54, 2004.
12. J.Y. Halpern and Y. Shoham. A propositional modal logic of time intervals. Journal of the Association for Computing Machinery, 38:279-292, 1991.
13. I. Hodkinson, A. Montanari, and G. Sciavicco. Non-finite axiomatizability and undecidability of interval temporal logics with C, D, and T. In Proceedings of the 17th Annual Conference of the EACSL, volume 5213 of Lecture Notes in Computer Science, pages 308-322. Springer, 2008.
14. K. Lodaya. Sharpening the undecidability of interval temporal logic. In Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science, volume 1961 of Lecture Notes in Computer Science, pages 290-298. Springer, 2000.
15. C. Lutz and F. Wolter. Modal logics of topological relations. Logical Methods in Computer Science, 2(2), 2006.
16. A. Montanari, G. Puppis, and P. Sala. A decidable spatial logic with cone-shaped cardinal directions. In Proceedings of the 18th Annual Conference of the EACSL, volume 5771 of Lecture Notes in Computer Science, pages 394-408. Springer, 2009.
17. A. Montanari, G. Puppis, P. Sala, and G. Sciavicco. Decidability of the interval temporal logic ABB over the natural numbers. Research Report UDMI/2009/07, Department of Mathematics and Computer Science, University of Udine, Udine, Italy, 2009, http://users.dimi.uniud.it/~angelo.montanari/ rr200907.pdf.
18. M. Otto. Two variable first-order logic over ordered domains. Journal of Symbolic Logic, 66(2):685-702, 2001.
19. P. Van Emde Boas. The convenience of tilings. In Complexity, Logic and Recursion Theory, volume 187 of Lecture Notes in Pure and Applied Mathematics, pages 331-363. Marcel Dekker Inc., 1997.
20. Y. Venema. A modal logic for chopping intervals. Journal of Logic and Computation, 1(4):453-476, 1991.