A general tableau method for propositional interval temporal logics

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

Volumn 2796, Issue , 2003, Pages 102-117

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

^a UNIVERSITY OF JOHANNESBURG   (South Africa)

^b UNIVERSITY OF UDINE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; INFORMATION MANAGEMENT; NATURAL LANGUAGE PROCESSING SYSTEMS;

BRANCHING TIME; FIRST ORDER LOGIC; INTERVAL TEMPORAL LOGIC; MODAL LOGIC; SOUNDNESS AND COMPLETENESS; TABLEAU METHOD; TIME INTERVAL; TIMING PROPERTIES;

TEMPORAL LOGIC; FORMAL LOGIC;

CONSTRAINT LABEL MANAGEMENT; MODAL LOGICS; TEMPORAL LOGIC;

EID: 7044248027     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45206-5_10     Document Type: Conference Paper

References (17)

1. 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.
2. 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, 6th Int. Conf. on Logic for Programming and Automated Reasoning (LPAR), pages 62–76. LNAI 1705, Springer, 1999.
3. 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.
4. M. D’Agostino, D. Gabbay, R. Hähnle, and J. Posegga, editors. Handbook of Tableau Methods. Kluwer, Dordrecht, 1999.
5. E.A. Emerson. Temporal and modal logic. Handbook of Theoretical Computer Science, B:996–1072, 1990.
6. M. Fitting. Proof methods for modal and intuitionistic logics. In Holland D. Reidel, Dordrecht, editor, Synthese Library, volume 169, 1983.
7. E. Grädel, C. Hirsch, and M. Otto. Back and forth between guarded and modal logics. ACM Trans. on Computational Logics, 3(3):418–463, 2002.
8. V. Goranko, A. Montanari, and G. Sciavicco. On propositional interval neighborhood temporal logics. Journal of Universal Computer Science. To appear, 2003.
9. J.Y. Halpern and Y. Shoham. A propositional modal logic of time intervals. Journal of the ACM, 38(4):935–962, 1991.
10. R. Kontchakov, C. Lutz, F. Wolter, and M. Zakharyashev. Temporalising tableaux. Submitted for publication, 2002.
11. S. Kono. A combination of clausal and non-clausal temporal logic programs. In M. Fisher and R. Owens, editors, Executable Modal and Temporal Logics, number 897 in LNCS, pages 40–57. Springer, 1995.
12. B. Moszkowski. Reasoning about Digital Circuits. PhD thesis, Stanford University, Stanford, CA, 1983.
13. Maarten Marx and Yde Venema. Multi-Dimensional Modal Logic. Kluwer Academic Publishers, Dordrecht, 1997.
14. W. Rautenberg. Modal tableau calculi and interpolation. Journal of Philosophical Logics, 12:403–423, 1983.
15. 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 (TACAS), pages 130–144. LNCS 1217, Springer, 1997.
16. Y. Venema. A modal logic for chopping intervals. Journal of Logic and Computation, 1(4):453–476, 1991.
17. P. Wolper. The tableau method for temporal logic: an overview. Logique et Analyse, 28(110–111):119–136, June–September 1985.