Begin, after, and later: A maximal decidable interval temporal logic

Electronic Proceedings in Theoretical Computer Science, EPTCS

Volumn 25, Issue , 2010, Pages 72-88

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

^a UNIVERSITY OF VERONA   (Italy)

^b UNIVERSITY OF MURCIA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTABILITY AND DECIDABILITY; COMPUTER CIRCUITS; FORMAL LOGIC; FORMAL VERIFICATION;

COMPLETE CLASSIFICATION; COMPLEXITY CLASS; DECISION PROCEDURE; FINITE DOMAINS; FINITE ORDER; INTERVAL TEMPORAL LOGIC; NATURAL NUMBER; SATISFIABILITY PROBLEMS;

TEMPORAL LOGIC;

EID: 85009910378     PISSN: 20752180     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4204/EPTCS.25.10     Document Type: Conference Paper

References (10)

1. J.F. Allen (1983): Maintaining Knowledge About Temporal Intervals. Communications of the Association for Computing Machinery 26(11), pp. 832-843.
2. D. Bresolin, D. Della Monica, V. Goranko, A. Montanari & G. Sciavicco (2008): 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), Lecture Notes in Computer Science 5330, Springer, pp. 590-604.
3. D. Bresolin, V. Goranko, A. Montanari & G. Sciavicco (2009): Propositional Interval Neighborhood Logics: expressiveness, decidability, and undecidable extensions. Annals of Pure and Applied Logic 161(3), pp. 289-304.
4. V. Goranko, A. Montanari & G. Sciavicco (2003): Propositional Interval Neighborhood Temporal Logics. Journal of Universal Computer Science 9(9), pp. 1137-1167.
5. V. Goranko, A. Montanari & G. Sciavicco (2004): A Road Map of Interval Temporal Logics and Duration Calculi. Applied Non-classical Logics 14(1-2), pp. 9-54.
6. J.Y. Halpern & Y. Shoham (1991): A Propositional Modal Logic of Time Intervals. Journal of the ACM 38, pp. 279-292.
7. A. Montanari, G. Puppis & P. Sala (2010): Maximal decidable fragments of Halpern and Shoham's modal logic of intervals. In: Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP 2010). To appear.
8. A. Montanari, G. Puppis, P. Sala & G. Sciavicco (2009): 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. http://users.dimi.uniud.it/~angelo.montanari/rr200907.pdf.
9. A. Montanari, G. Puppis, P. Sala & G. Sciavicco (2010): Decidability of the Interval Temporal Logic ABB̄ on Natural Numbers. In: Proceedings of the 27th Symposium on Theoretical Aspects of Computer Science (STACS 2010), pp. 597-608.
10. P. Van Emde Boas (1997): The Convenience of Tilings. In: Complexity, Logic and Recursion Theory, Lecture Notes in Pure and Applied Mathematics 187, Marcel Dekker Inc., pp. 331-363.