Maximal decidable fragments of Halpern and Shoham's modal logic of intervals

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6199 LNCS, Issue PART 2, 2010, Pages 345-356

  Montanari, Angelo ^a   Puppis, Gabriele ^b   Sala, Pietro ^a  

^a UNIVERSITY OF UDINE   (Italy)

^b UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALLEN'S INTERVAL ALGEBRA; INTERVAL TEMPORAL LOGIC; LINEAR ORDER; MODAL LOGIC; MODAL OPERATORS; NATURAL TIME; NEIGHBORHOOD LOGIC; SATISFIABILITY PROBLEMS;

LINGUISTICS; TEMPORAL LOGIC; TRANSLATION (LANGUAGES);

COMPUTABILITY AND DECIDABILITY;

EID: 77955321654     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-14162-1_29     Document Type: Conference Paper

References (21)

1. Allen, J. F.: Maintaining knowledge about temporal intervals. Communications of the Association for Computing Machinery 26 (11), 832-843 (1983)
2. Bresolin, D., Della Monica, D., Goranko, V., Montanari, A., Sciavicco, G.: Decidable and undecidable fragments of Halpern and Shoham's interval temporal logic: towards a complete classification. In: Cervesato, I., Veith, H., Voronkov, A. (eds.) LPAR 2008. LNCS (LNAI), vol. 5330, pp. 590-604. Springer, Heidelberg (2008)
3. Bresolin, D., Goranko, V., Montanari, A., Sciavicco, G.: Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions. Annals of Pure and Applied Logic 161 (3), 289-304 (2009)
4. Bresolin, D., Della Monica, D., Goranko, V., Montanari, A., Robinson, C., Sciavicco, G.: Metric Propositional Neighborhood Logics. Research Report UDMI/2010/02, Dept. of Mathematics and Computer Science, University of Udine (2010), http://users.dimi.uniud.it/-angelo.montanari/rr201002.pdf
5. Bresolin, D., Montanari, A., Sala, P.: An optimal tableau-based decision algorithm for Propositional Neighborhood Logic. In: Thomas, W., Weil, P. (eds.) STACS 2007. LNCS, vol. 4393, pp. 549-560. Springer, Heidelberg (2007)
6. Bresolin, D., Montanari, A., Sala, P., Sciavicco, G.: Tableau-based decision procedures for Propositional Neighborhood Logic. Research Report UDMI/2010/01, Dept. of Mathematics and Computer Science, University of Udine (2010), http://users.dimi.uniud.it/~angelo.montanari/rr201001.pdf
7. Bresolin, D., Goranko, V., Montanari, A., Sciavicco, G.: Right propositional neighborhood logic over natural numbers with integer constraints for interval lengths. In: Proc. of the 7th IEEE Int. Conference on Software Engineering and Formal Methods (SEFM), pp. 240-249. IEEE Comp. Society Press, Los Alamitos (2009)
8. Goranko, V., Montanari, A., Sciavicco, G.: Propositional interval neighborhood temporal logics. Journal of Universal Computer Science 9 (9), 1137-1167 (2003)
9. Goranko, V., Montanari, A., Sciavicco, G.: A road map of interval temporal logics and duration calculi. Applied Non-classical Logics 14 (1-2), 9-54 (2004)
10. Halpern, J. Y., Shoham, Y.: A propositional modal logic of time intervals. Journal of the ACM 38, 279-292 (1991)
11. Kamp, H., Reyle, U.: From Discourse to Logic: Introduction to Model-theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory. Studies in Linguistics and Philosophy, vol. 42. Springer, Heidelberg (1993)
12. Lodaya, K.: Sharpening the undecidability of interval temporal logic. In: He, J., Sato, M. (eds.) ASIAN 2000. LNCS, vol. 1961, pp. 290-298. Springer, Heidelberg (2000)
13. Mayr, R.: Undecidable problems in unreliable computations. Theoretical Computer Science 297 (1-3), 337-354 (2003)
14. Montanari, A., Puppis, G., Sala, P.: A decidable spatial logic with cone-shaped cardinal directions. In: Grädel, E., Kahle, R. (eds.) CSL 2009. LNCS, vol. 5771, pp. 394-408. Springer, Heidelberg (2009)
15. Montanari, A., Puppis, G., Sala, P.: Maximal decidable fragments of Halpern and Shoham's modal logic of intervals. Research Report UDMI/2010/04, Dept. of Mathematics and Computer Science, University of Udine (2010), http://users.dimi.uniud.it/-angelo.montanari/rr201004.pdf
16. Montanari, A., Puppis, G., Sala, P., Sciavicco, G.: Decidability of the interval - temporal logic ABB̄ over the natural numbers. In: Proc. of the 27th Int. Symposium on Theoretical Aspects of Computer Science (STACS), pp. 597-608 (to appear, 2010)
17. Otto, M.: Two variable first-order logic over ordered domains. Journal of Symbolic Logic 66 (2), 685-702 (2001)
18. Ouaknine, J., Worrell, J.: On the decidability and complexity of metric temporal logic over finite words. Logical Methods in Computer Science 3 (1), 1-27 (2007)
19. Schnoebelen, P.: Verifying lossy channel systems has nonprimitive recursive complexity. Information Processing Letters 83 (5), 251-261 (2002)
20. Venema, Y.: Two-dimensional modal logics for relation algebras and temporal logic of intervals. ITLI prepublication series LP-89-03, University of Amsterdam (1989)
21. Venema, Y.: A modal logic for chopping intervals. Journal of Logic and Computation 1 (4), 453-476 (1991)