Propositional interval neighborhood temporal logics

Journal of Universal Computer Science

Volumn 9, Issue 9, 2003, Pages 1137-1167

  Goranko, Valentin ^a   Montanari, Angelo ^b   Sciavicco, Guido ^b  

^a UNIVERSITY OF JOHANNESBURG   (South Africa)

^b UNIVERSITY OF UDINE   (Italy)

Author keywords

Axiomatic Systems; Interval Temporal Logic; Tableau Systems

Indexed keywords

EID: 23844442126     PISSN: 0958695X     EISSN: 09486968     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (32)

1. [AF94] J.F. Allen and G. Ferguson. Actions and events in interval temporal logic. Journal of Logic and Computation, 4(5):531-579, 1994.
2. [AH85] J. Allen and P. Hayes. A common-sense theory of time. In Proc. of the 9th International Joint Conference on Artificial Intelligence, pages 528-531. Morgan Kaufmann, 1985.
3. [A1183] J.F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832-843, 1983.
4. [Ben91] J. van Benthem. The Logic of Time (2nd Ed.). Kluwer Academic Press, 1991.
5. [BRZ00] R. Barua, S. Roy, and C. Zhou. Completeness of neighbourhood logic. Journal of Logic and Computation, 10(2):271-295, 2000.
6. [BT03] H. Bowman and S. Thompson. A decision procedure and complete axiomatization of finite interval temporal logic with projection. Journal of Logic and Computation, 13(2):195-239, 2003.
7. [BZ97] R. Barua and C. Zhou. Neighbourhood logics: NL and NL 2. Technical Report 120, UNU/IIST, Macau, 1997.
8. [CMP99] S. Cerrito, M. Cialdea Mayer, and S. Praud. First-order linear temporal logic over finite time structures. In H. Ganzinger, D. McAllester, and A. Voronkov, editors, Proc. of the 6th Int. Conf. on Logic for Programming, Artificial Intelligence and Reasoning, volume 1705 of LNAI, pages 62-76. Springer, 1999.
9. [CSdC00] N. Chetcuti-Serandio and L. Fariñas del Cerro. A mixed decision method for duration calculus. Journal of Logic and Computation, 10:877-895, 2000.
10. [DGHP99] M. D'Agostino, D. Gabbay, R. Hähnle, and J. Posegga, editors. Handbook of Tableau Methods. Kluwer Academic Press, 1999.
11. [Dut95] B. Dutertre. Complete proof systems for first order interval temporal logic. Proc. of the 10th International, Symposium on Logic in Computer Science, pages 36-43, 1995.
12. [Eme90] E.A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science - B, pages 996-1072. Elsevier, 1990.
13. [GMS03a] V. Goranko, A. Montanari, and G. Sciavicco. A general tableau method for propositional interval temporal logics. In Proc. of the International Conference Tableaux 2003, LNAI, pages 102-116. Springer, 2003.
14. [GMS0Sb] V. Goranko, A. Montanari, and G. Sciavicco. Proof systems for propositional interval neighborhood logics. In C. Araces and P. Blackburn, editors, Proceedings of M4M 3: 3rd International Workshop on Methods for Modalities, pages 125-139, 2003.
15. [GMS03c] V. Goranko, A. Montanari, and G. Sciavicco. A road map on interval temporal logics and duration calculi. In V. Goranko and A. Montanari, editors, Proc. of the ESSLLI Workshop on Interval Temporal Logics and Duration Calculi, pages 1-40, 2003.
16. [Gue00] D.P. Guelev. A complete fragment of higher-order duration μ-calculus. Foundations of Software Technology and Theoretical Computer Science, 1974:264-276, 2000.
17. [HS91] J.Y. Halpern and Y. Shoham. A propositional modal logic of time intervals. Journal of the ACM, 38(4):935-962, 1991.
18. [HZ97] M. Hansen and C. Zhou. Duration calculus: Logical foundations. Formal Aspects of Computing, 9:283-330, 1997.
19. [Lad87] P. Ladkin. The Logic of Time Representation. PhD thesis, University of California, Berkeley, 1987.
20. [Lod00] K. Lodaya. Sharpening the undecidability of interval temporal logic. In Proc. of 6th Asian Computing Science Conference, volume 1961 of LNCS, pages 290-298. Springer, 2000.
21. [Mos83] B. Moszkowski. Reasoning about Digital Circuits. PhD thesis, Department of Computer Science, Stanford University, Technical Report STAN-CS-83-970, Stanford, CA, 1983.
22. [MS02] A. Montanari and G. Sciavicco. A decidable logic for time intervals: Propositional neighborhood logic. In F. Anger, G. Ligozat, and H. Guesgen, editors, Proc. of the AAAI-2002 Workshop on Spatial and Temporal Reasoning, pages 27-34, 2002.
23. [PPH98] J. Penix, C. Pecheur, and K. Havelund. Using model checking to validate AI planner domain models. In 23rd Annual Software Engineering Workshop, NASA Goddard, 1998.
24. [Roy97] S. Roy. Notes on neighbourhood logic. Technical Report 97, UNU/IIST, 1997.
25. [SGL97] P.H. Schmitt and J. Goubault-Larrecq. A tableau system for linear-time temporal logic. In E. Brinksma, editor, 3rd Workshop on Tools and Algorithms for the Construction and Analysis of Systems, volume 1217 of LNCS, pages 130-144. Springer, 1997.
26. [SRR90] E.V. Sørensen, A.P. Ravn, and H. Rischel. Control program for a gas burner. Part I: Informal requirements, Process Case Study 1. Technical report, ProCoS Report ID/DTH EVS2, 1990.
27. [Ven90] Y. Venema. Expressiveness and completeness of an interval tense logic. Notre Dame Journal of Formal Logic, 31(4):529-547, 1990.
28. [Ven91] Y. Venema. A modal logic for chopping intervals. Journal of Logic and Computation, 1(4):453-476, 1991.
29. [Wol85] P. Wolper. The tableau method for temporal logic: An overview. Logique et Analyse, 28:119-136, 1985.
30. [ZH98] C. Zhou and M. R. Hansen. An adequate first order interval logic. In W.P. de Roever, H. Langmaak, and A. Pnueli, editors, Compositionality: the Significant Difference, volume 1536 of LNCS, pages 584-608. Springer, 1998.
31. [ZHR91] C. Zhou, C.A.R. Hoare, and A. P. Ravn. A calculus of durations. Information Processing Letters, 40(5):269-276, 1991.
32. [ZHS93] C. Zhou, M.R. Hansen, and P. Sestoft. Decidability and undecidability results for duration calculus. In Proc. of the 10th Symposium on Theoretical Aspects of Computer Science, volume 665 of LNCS, pages 58-68. Springer, 1993.