Tableau systems for logics of subinterval structures over dense orderings

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

Volumn 4548 LNAI, Issue , 2007, Pages 73-89

  Bresolin, Davide ^a   Goranko, Valentin ^b   Montanari, Angelo ^c   Sala, Pietro ^c  

^a UNIVERSITY OF VERONA   (Italy)

^b UNIVERSITY OF THE WITWATERSRAND   (South Africa)

^c UNIVERSITY OF UDINE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STRUCTURES; LINEAR SYSTEMS; MATHEMATICAL MODELS; SET THEORY;

DSQUARE SUBSETS; SUBINTERVAL STRUCTURES; TABLEAU SYSTEMS;

LOGIC PROGRAMMING;

EID: 37249057186     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73099-6_8     Document Type: Conference Paper

References (12)

1. van Benthem, J.: The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse, Second Edition. Kluver, Norwell (1991)
2. Blackburn, P., de Rijke, M., Venema, V.: Modal Logic. CUP (2001)
3. Bowman, H., Thompson, S.: A decision procedure and complete axiomatization of finite interval temporal logic with projection. Journal of Logic and Computation 13(2), 195-239 (2003)
4. Bresolin, D., Goranko, V., Montanari, A., Sciavicco, G.: On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. In: LFCS 2007. Proc. of the International Symposium on Logical Foundations of Computer Science. LNCS, vol. 4514, pp. 84-99. Springer, Heidelberg (2007)
5. Bresolin, D., Montanari, A.: A tableau-based decision procedure for a branching-time interval temporal logic. In: Schlingloff, H. (ed.) Proc. of the 4th Int. Workshop on Methods for Modalities, pp. 38-53 (2005)
6. Bresolin, D., Montanari, A.: A tableau-based decision procedure for Right Propositional Neighborhood Logic. In: Beckert, B. (ed.) TABLEAUX 2005. LNCS (LNAI), vol. 3702, Springer, Heidelberg (2005)
7. Bresolin, D., Montanari, A., Sala, P.: An optimal tableau-based decision algorithm for Propositional Neighborhood Logic. In: Thomas, W., Weil, P. (eds.) STACS 2007. LNCS, vol. 4393, Springer, Heidelberg (2007)
8. Bresolin, D., Montanari, A., Sciavicco, G.: An optimal decision procedure for Right Propositional Neighborhood Logic. Journal of Automated Reasoning 38(1-3), 173-199 (2007)
9. Goranko, V., Montanari, A., Sciavicco, G., Sala, P.: A general tableau method for propositional interval temporal logics: Theory and implementation. Journal of Applied Logic 4(3), 305-330 (2006)
10. Halpem, J.Y., Shoham, Y.: A propositional modal logic of time intervals. Journal of the ACM 38(4), 935-962 (1991)
11. Shapirovsky, I.: On PSPACE-decidability in Transitive Modal Logic. In: Schmidt, R., Pratt-Hartmann, I., Reynolds, M., Wansing, H. (eds.) Advances in Modal Logic, vol. 5, pp. 269-287. King's College Publications, London (2005)
12. Shapirovsky, I., Shehtman, V.: Chronological future modality in Minkowski spacetime. In: Balbiani, P., Suzuki, N.Y., Wolter, F., Zakharyaschev, M. (eds.) Advances in Modal Logic, vol. 4, pp. 437-459. King's College Publications, London (2003)