Interval temporal logics over finite linear orders: The complete picture

Frontiers in Artificial Intelligence and Applications

Volumn 242, Issue , 2012, Pages 199-204

  Bresolin, D ^a   Della Monica, D ^b   Montanari, A ^c   Sala, P ^a   Sciavicco, G ^d  

^a UNIVERSITY OF VERONA   (Italy)

^b REYKJAVIK UNIVERSITY   (Iceland)

^c UNIVERSITY OF UDINE   (Italy)

^d UNIVERSITY OF MURCIA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

EXPRESSIVE POWER; FINITE SATISFIABILITY; INTERVAL STRUCTURES; INTERVAL TEMPORAL LOGIC; LINEAR ORDER; NP COMPLETE; ORDERED DOMAINS; SATISFIABILITY PROBLEMS; TEMPORAL REASONING;

COMPUTABILITY AND DECIDABILITY;

EID: 84878786149     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-61499-098-7-199     Document Type: Conference Paper

References (21)

1. J. F. Allen, 'Maintaining knowledge about temporal intervals', Communications of the ACM, 26(11), 832-843, (1983).
2. P. Blackburn, M. de Rijke, and Y. Venema, Modal Logic, Cambridge University Press, 2002.
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 LPAR, volume 5330 of LNCS, pp. 590-604. Springer, (2008).
4. 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, 20(1), 133 - 166, (2010).
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, D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco, 'The dark side of interval temporal logic: Sharpening the unde-cidability border', in TIME, pp. 131-138, (2011).
7. D. Bresolin and A. Montanari, 'A tableau-based decision procedure for Right Propositional Neighborhood Logic', in TABLEAUX, volume 3702 of LNAI, pp. 63-77. Springer, (2005).
8. 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).
9. D. Bresolin, P. Sala, and G. Sciavicco, 'On begins, meets, and before', International Journal on Foundations of Computer Science, 23(3), 559-583, (2012).
10. D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco, 'Expressiveness of the interval logics of allens relations on the class of all linear orders: Complete classification', in IJCAI, pp. 845-850, (2011).
11. D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco, 'Interval temporal logics: a journey', Bulletin of the EATCS, 105, 73-99, (2011).
12. V. Goranko, A. Montanari, and G. Sciavicco, 'Propositional interval neighborhood temporal logics', Journal of Universal Computer Science, 9(9), 1137-1167, (2003).
13. 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).
14. J. Halpern and Y. Shoham, 'A propositional modal logic of time intervals', Journal of the ACM, 38(4), 935-962, (1991).
15. A. Kurucz, F. Wolter, M. Zakharyaschev, and D. M. Gabbay, Many-Dimensional Modal Logics: Theory and Applications, volume 148 of Studies in Logic and the Foundations of Mathematics, Elsevier, 2003.
16. J. Marcinkowski and J. Michaliszyn, 'The ultimate undecidability result for the halpern-shoham logic', in LICS, pp. 377-386, (2011).
17. A. Montanari, G. Puppis, and P. Sala, 'Maximal decidable fragments of halpern and shoham's modal logic of intervals', in ICALP (2), pp. 345-356, (2010).
18. A. Montanari, G. Puppis, P. Sala, and G. Sciavicco, 'Decidability of the interval temporal logic abb over the natural numbers', in STACS, pp. 597-608, (2010).
19. P. Sala, Decidability of Interval Temporal Logics, Ph.D. dissertation, University of Udine, 2010.
20. P. Schnoebelen, 'Verifying lossy channel systems has nonprimitive recursive complexity', Information Processing Letters, 5(83), 251-261, (2002).
21. Y. Venema, 'Expressiveness and completeness of an interval tense logic', Notre Dame Journal of Formal Logic, 31(4), 529-547, (1990).