On begins, meets and before

International Journal of Foundations of Computer Science

Volumn 23, Issue 3, 2012, Pages 559-583

  Bresolin, Davide ^a   Sala, Pietro ^a   Sciavicco, Guido ^b,c  

^a UNIVERSITY OF VERONA   (Italy)

^b UNIVERSITY OF MURCIA   (Spain)

^c University for Information Science and Technology   (Macedonia)

Author keywords

complexity; decidability; Interval temporal logic

Indexed keywords

EID: 84861019620     PISSN: 01290541     EISSN: None     Source Type: Journal    
DOI: 10.1142/S012905411240028X     Document Type: Article

References (19)

1. J. 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 Proc. ofthe15th International Conference on Logicfor Programming, Artificial Intelligence, and Reasoning (LPAR), volume 5330 of Lecture Notes in Computer Science, pages 590-604. Springer, 2008.
3. D. Bresolin, D. Della Monica, A. Montanari, and G. Sciavicco. Metric propositional neigh-borhood logics: Expressiveness, decidability, and undecidability. In Proc. of the19th European Conference of Artificial Intelligence (ECAI), pages 695-700, 2010.
4. D. Bresolin, D. Della Monica, A. Montanari, and G. Sciavicco. Metric propositional neigh-borhood interval logics on natural numbers. Software and System Modeling, 2011. DOI: 10.1007/s10270-011-0195-y.
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, V. Goranko, A. Montanari, and G. Sciavicco. Right propositional neighborhood logic over natural numbers with integer constraints for interval lengths. In Proc. of the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM),pages 240-249. IEEE Comp. Society Press, 2009.
7. D. Bresolin, A. Montanari, P. Sala, and G. Sciavicco. What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL. In Proc. of the 26th Annual IEEE Symposium on Logics in Computer Science (LICS), 2011. To appear.
8. D. Bresolin, P. Sala, and G. Sciavicco. Begin, After, and Later: a maximal decidable Interval Temporal Logic. In Proc. of Gand ALF 2010: First International Symposium on Games, Automata, Logics and Formal Verification, volume 25 of EPTCS, pages 72-88, Minori, Amalfi Coast, Italy, June 2010.
9. D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco. Expressiveness of the interval logics of Allen's relations on the class of all linear orders: Complete classification. In Proc. of the 22th International Joint Conference on Artificial Intelligence (IJCAI),2011. To appear.
10. D. Della Monica, V. Goranko, and G. Sciavicco. Hybrid metric propositional neighborhood logics with interval length binders. In Proc. of the 2010 International Workshop on Hybrid Logic and Application (Hy Lo), to appear in ENTCS, 2011.
11. V. Goranko, A. Montanari, and G. Sciavicco. Propositional interval neighborhood temporal logics. Journal of Universal Computer Science, 9(9): 1137-1167, 2003. (Pubitemid 41151447)
12. V. Goranko, A. Montanari, and G. Sciavicco. A road map ofinterval temporal logics and dura-tion calculi. Applied Non-classical Logics, 14(1-2):9-54, 2004.
13. J. Halpern and Y. Shoham. A propositional modal logic of time intervals. Journal ofthe ACM, 38:279-292, 1991.
14. A. Montanari, G. Puppis, and P. Sala. Maximal decidable fragments of Halpern and Shoham's modal logic ofintervals. In Proc ofthe37th International Colloquium on Automata, Languages and Programming-Part II (ICALP 2010), volume 6199 of LNCS, pages 345-356, 2010.
15. A. Montanari, G. Puppis, P. Sala, and G. Sciavicco. Decidability of the interval temporal logic ABB on natural numbers. In Proc ofthe27th Symposium on Theoretical Aspects of Computer Science (STACS 2010), pages 597-608, 2010.
16. A. Rabinovich. Succinctness gap between monadic logic and duration calculus. Fundamenta Informaticae, 42(2):201-210, 2000.
17. 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.
18. Y. Venema. Expressiveness and completeness of an interval tense logic. Notre Dame Journal of Formal Logic, 31(4):529-547, 1990.
19. C. Zhou and M. R. Hansen. Duration Calculus: A Formal Approach to Real-Time Systems. EATCS: Monographs in Theoretical Computer Science. Springer,2004.