On decidability and expressiveness of propositional interval neighborhood logics

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

Volumn 4514 LNCS, Issue , 2007, Pages 84-99

  Bresolin, Davide ^a,d   Goranko, Valentin ^b   Montanari, Angelo ^a   Sciavicco, Guido ^c  

^a UNIVERSITY OF UDINE   (Italy)

^b UNIVERSITY OF THE WITWATERSRAND   (South Africa)

^c UNIVERSITY OF MURCIA   (Spain)

^d UNIVERSITY OF VERONA   (Italy)

Author keywords

Decidability; Expressiveness; Neighbourhood interval logics

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; ENGINEERING RESEARCH;

BINARY RELATIONS; NEIGHBORHOOD INTERVAL LOGICS; TEMPORAL LOGICS; TWO VARIABLE FRAGMENTS;

COMPUTABILITY AND DECIDABILITY;

EID: 35448992429     PISSN: 03029743     EISSN: 16113349     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-72734-7_7     Document Type: Conference Paper

References (22)

1. E. Börger, E. Grädel, and Y. Gurevich. The Classical Decision Problem. Perspectives of Mathematical Logic. Springer, 1997.
2. D. Bresolin and A. Montanari. A tableau-based decision procedure for Right Propositional Neighborhood Logic. In Proceedings of TABLEAUX 2005, volume 3702 of LNAI, pages 63-77. Springer, 2005.
3. D. Bresolin, A. Montanari, and P. Sala. An optimal tableau-based decision algorithm for Propositional Neighborhood Logic. In Proceedings of STACS 2007, volume 4393 of LNCS, pages 549-560. Springer, 2007.
4. D. Bresolin, A. Montanari, and G. Sciavicco. An optimal decision procedure for Right Propositional Neighborhood Logic. Journal of Automated Reasoning, 2006. DOI10.1007/s10817-006-9051-0.
5. K. Etessami, M. Y. Vardi, and T. Wilke. First-order logic with two variables and unary temporal logic. Information and Computation, 179(2):279-295, 2002.
6. D. M. Gabbay, I. M. Hodkinson, and M. Reynolds. Temporal Logic: Mathematical Foundations and Computational Aspects. Oxford University Press, 1994.
7. V. Goranko, A. Montanari, and G. Sciavicco. Propositional interval neighborhood temporal logics. Journal of Universal Computer Science, 9(9):1137-1167, 2003.
8. V. Goranko, A. Montanari, and G. Sciavicco. A road map of interval temporal logics and duration calculi. J. of Applied Non-Classical Logics, 14(1-2):9-54, 2004.
9. V. Goranko, A. Montanari, G. Sciavicco, and P. Sala. A general tableau method for propositional interval temporal logics: Theory and implementation. Journal of Applied Logic, 4(3):305-330, 2006.
10. V. Goranko and M. Otto. Model theory of modal logic. In P. Blackburn et al., editor, Handbook of Modal Logic, pages 249-329. Elsevier, 2007.
11. E. Grädel, P. G. Kolaitis, and M. Y. Vardi. On the decision problem for two-variable first-order logic. Bulletin of Symbolic Logic, 3(1):53-69, 1997.
12. J. Halpern and Y. Shoham. A propositional modal logic of time intervals. Journal of the ACM, 38(4):935-962, 1991.
13. N. Immerman and D. Kozen. Definability with bounded number of bound variables. Information and Computation, 83(2):121-139, 1989.
14. H. Kamp. Events, instants and temporal reference. In R. Bäuerle, U. Egli, and C. Schwarze, editors, Semantics from different points of view, pages 376-417. de Gruyter, 1979.
15. 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.
16. M. Mortimer. On languages with two variables. Zeitschr. f. math. Logik u. Grundlagen d. Math, 21:135-140, 1975.
17. B. Moszkowski. Reasoning about digital circuits. Tech. rep. stan-cs-83-970, Dept. of Computer Science, Stanford University, Stanford, CA, 1983.
18. M. Otto. Two variable first-order logic over ordered domains. Journal of Symbolic Logic, 66(2):685-702, 2001.
19. D. Scott. A decision method for validity of sentences in two variables. Journal of Symbolic Logic, 27:377, 1962.
20. I. Shapirovsky and V. Shehtman. Chronological future modality in Minkowski spacetime. In P. Balbiani, N. Y. Suzuki, F. Wolter, and M. Zakharyaschev, editors, Advances in Modal Logic, volume 4, pages 437-459. King's College Publications, London, 2003.
21. Y. Venema. Expressiveness and completeness of an interval tense logic. Notre Dame Journal of Formal Logic, 31(4):529-547, 1990.
22. Y. Venema. A modal logic for chopping intervals. Journal of Logic and Computation, 1(4):453-476, 1991.