Optimal tableaux for right propositional neighborhood logic over linear orders

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

Volumn 5293 LNAI, Issue , 2008, Pages 62-75

  Bresolin, Davide ^a   Montanari, Angelo ^b   Sala, Pietro ^b   Sciavicco, Guido ^c  

^a UNIVERSITY OF VERONA   (Italy)

^b UNIVERSITY OF UDINE   (Italy)

^c UNIVERSITY OF MURCIA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

BIONICS; COMPUTABILITY AND DECIDABILITY; COMPUTER SCIENCE; INFORMATION THEORY;

DECISION PROCEDURES; INTERVAL LOGICS; INTERVAL TEMPORAL LOGICS; LINEAR ORDERS; NEIGHBORHOOD LOGICS; ORDERED DOMAINS; PROPOSITIONAL LANGUAGES; RESEARCH AREAS; SPECIFIC CLASSES; SUB INTERVALS; TEMPORAL STRUCTURES;

ARTIFICIAL INTELLIGENCE;

EID: 56649114197     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87803-2_7     Document Type: Conference Paper

References (11)

1. 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)
2. Bresolin, D., Goranko, V., Montanari, A., Sala, P.: Tableau systems for logics of subinterval structures over dense orderings. In: Olivetti, N. (ed.) TABLEAUX 2007. LNCS (LNAI), vol. 4548, pp. 73-89. Springer, Heidelberg (2007)
3. Bresolin, D., Goranko, V., Montanari, A., Sciavicco, G.: On Decidability and Expressiveness of Prepositional Interval Neighborhood Logics. In: Artemov, S.N., Nerode, A. (eds.) LFCS 2007. LNCS, vol. 4514, pp. 84-99. Springer, Heidelberg (2007)
4. 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, pp. 549-560. Springer, Heidelberg (2007)
5. 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)
6. Chaochen, Z., Hansen, M.R.: An adequate first order interval logic. In: de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.) COMPOS 1997. LNCS, vol. 1536, pp. 584-608. Springer, Heidelberg (1998)
7. 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)
8. Halpern, J.Y., Shoham, Y.: A propositional modal logic of time intervals. Journal of the ACM 38(4), 935-962 (1991)
9. Moszkowski, B.: Reasoning about digital circuits. Tech. Rep. 83-970, Dept. of Computer Science, Stanford University, Stanford, CA (1983)
10. Otto, M.: Two variable first-order logic over ordered domains. Journal of Symbolic Logic 66(2), 685-702 (2001)
11. Venema, Y.: A modal logic for chopping intervals. Journal of Logic and Computation 1(4), 453-476 (1991)