Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions

Annals of Pure and Applied Logic

Volumn 161, Issue 3, 2009, Pages 289-304

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

^a UNIVERSITY OF VERONA   (Italy)

^b TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

^c UNIVERSITY OF UDINE   (Italy)

^d UNIVERSITY OF MURCIA   (Spain)

Author keywords

Decidability; Expressiveness; Neighborhood interval logics; Two variable fragment; Undecidability

Indexed keywords

EID: 70350135135     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.apal.2009.07.003     Document Type: Article

References (27)

1. Börger E., Grädel E., and Gurevich Y. Perspectives of Mathematical Logic (1997), Springer
2. D. Bresolin, V. Goranko, A. Montanari, P. Sala, Tableau-based decision procedure for the logic of proper subinterval structures over dense orderings, in: C. Areces, S. Demri (Eds.), Proc. of the 5th International Workshop on Methods for Modalities, M4M, 2007, pp. 335-351
3. Bresolin D., Goranko V., Montanari A., and Sala P. Tableau systems for logics of subinterval structures over dense orderings. In: Olivetti N. (Ed). Proc. of TABLEAUX 2007. LNAI vol. 4548 (2007), Springer 73-89
4. Bresolin D., and Montanari A. A tableau-based decision procedure for Right Propositional Neighborhood Logic. Proc. of TABLEAUX 2005. LNAI vol. 3702 (2005), Springer 63-77
5. Bresolin D., Montanari A., and Sala P. An optimal tableau-based decision algorithm for Propositional Neighborhood Logic. Proc. of 24th International Symposium on Theoretical Aspects of Computer Science. STACS. LNCS vol. 4393 (2007), Springer 549-560
6. Bresolin D., Montanari A., Sala P., and Sciavicco G. Optimal tableaux for right propositional neighborhood logic over linear orders. Proc. of the 11th European Conference on Logics in AI. JELIA. LNAI vol. 5293 (2008), Springer 62-75
7. Bresolin D., Montanari A., and Sciavicco G. An optimal decision procedure for Right Propositional Neighborhood Logic. Journal of Automated Reasoning 38 1-3 (2007) 173-199
8. Etessami K., Vardi M.Y., and Wilke T. First-order logic with two variables and unary temporal logic. Information and Computation 179 2 (2002) 279-295
9. Gabbay D.M., Hodkinson I.M., and Reynolds M. Temporal Logic: Mathematical Foundations and Computational Aspects (1994), Oxford University Press
10. Goranko V., Montanari A., and Sciavicco G. Propositional interval neighborhood temporal logics. Journal of Universal Computer Science 9 9 (2003) 1137-1167
11. Goranko V., Montanari A., and Sciavicco G. A road map of interval temporal logics and duration calculi. Journal of Applied Non-Classical Logics 14 1-2 (2004) 9-54
12. Goranko V., Montanari A., Sciavicco G., and Sala P. A general tableau method for propositional interval temporal logics: Theory and implementation. Journal of Applied Logic 4 3 (2006) 305-330
13. Goranko V., and Otto M. Model theory of modal logic. In: Blackburn P., et al. (Ed). Handbook of Modal Logic (2007), Elsevier 249-329
14. Grädel E., Kolaitis P.G., and Vardi M.Y. On the decision problem for two-variable first-order logic. Bulletin of Symbolic Logic 3 1 (1997) 53-69
15. Halpern J., and Shoham Y. A propositional modal logic of time intervals. Journal of the ACM 38 4 (1991) 935-962
16. Immerman N., and Kozen D. Definability with bounded number of bound variables. Information and Computation 83 2 (1989) 121-139
17. Kamp H. Events, instants and temporal reference. In: Bäuerle R., Egli U., and Schwarze C. (Eds). Semantics from Different Points of View (1979), de Gruyter 376-417
18. Lodaya K. Sharpening the undecidability of interval temporal logic. Proc. of the 6th Asian Computing Science Conference. ASIAN. LNCS vol. 1961 (2000), Springer 290-298
19. Marx M., and Reynolds M. Undecidability of compass logic. Journal of Logic and Computation 9 6 (1999) 897-914
20. Montanari A., Sciavicco G., and Vitacolonna N. Decidability of interval temporal logics over split-frames via granularity. Proc. of the 8th European Conference on Logics in AI. JELIA. LNAI vol. 2424 (2002), Springer 259-270
21. Mortimer M. On languages with two variables. Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik 21 (1975) 135-140
22. B. Moszkowski, Reasoning about digital circuits, Tech. Rep. STAN-CS-83-970, Dept. of Computer Science, Stanford University, Stanford, CA, 1983
23. Otto M. Two variable first-order logic over ordered domains. Journal of Symbolic Logic 66 2 (2001) 685-702
24. Scott D. A decision method for validity of sentences in two variables. Journal of Symbolic Logic (1962) 27-377
25. Shapirovsky I., and Shehtman V. Chronological future modality in Minkowski spacetime. In: Balbiani P., Suzuki N.Y., Wolter F., and Zakharyaschev M. (Eds). Advances in Modal Logic vol. 4 (2003), King's College Publications, London 437-459
26. Venema Y. Expressiveness and completeness of an interval tense logic. Notre Dame Journal of Formal Logic 31 4 (1990) 529-547
27. Venema Y. A modal logic for chopping intervals. Journal of Logic and Computation 1 4 (1991) 453-476