A tableau-based decision procedure for right prepositional neighborhood logic

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

Volumn 3702 LNAI, Issue , 2005, Pages 63-77

  Bresolin, Davide ^a   Montanari, Angelo ^a  

^a UNIVERSITY OF UDINE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DECISION MAKING; MATHEMATICAL MODELS; PROBLEM SOLVING; SEMANTICS;

INTERVAL-BASED TEMPORAL LOGICS; PREPOSITIONAL NEIGHBORHOOD LOGIC; TABLEAU-BASED DECISION PROCEDURE;

FORMAL LOGIC;

EID: 33646172776     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11554554_7     Document Type: Conference Paper

References (11)

1. D. Bresolin, A. Montanari, A tableau-based decision procedure for Right Propositional Neighborhood Logic, Research Report 02, Dipartimento di Matematica e Informatica, Università di Udine, Italy, 2005.
2. V. Goranko, A. Montanari, G. Sciavicco, Propositional interval neighborhood temporal logics, Journal of Universal Computer Science 9 (9) (2003) 1137-1167.
3. V. Goranko, A. Montanari, G. Sciavicco, A general tableau method for prepositional interval temporal logics, in: Proc. of the International Conference TABLEAUX 2003, Vol. 2796 of LNAI, Springer, 2003, pp. 102-116.
4. V. Goranko, A. Montanari, G. Sciavicco, A road map of interval temporal logics and duration calculi, Journal of Applied Non-Classical Logics 14 (1-2) (2004) 9-54.
5. V. Goranko, A. Montanari, G. Sciavicco, P. Sala, A general tableau method for propositional interval temporal logics: theory and implementation, Journal of Applied Logic, 2005 (to appear).
6. J. Halpern, Y. Shoham, A propositional modal logic of time intervals, Journal of the ACM 38 (4) (1991) 935-962.
7. A. Montanari, G. Sciavicco, N. Vitacolonna, Decidability of interval temporal logics over split-frames via granularity, in: Proc. of the European Conference on Logic in Artificial Intelligence 2002, LNAI 2424,: Springer, 2002, 259-270.
8. A. Montanari, Propositional interval temporal logics: some promising paths, Proc. of the 12th International Symposium on Temporal Representation and Reasoning (TIME), IEEE Computer Society Press, 2005, 201-203.
9. B. Moszkowski, Reasoning about digital circuits, Ph.D. thesis, Dept. of Computer Science, Stanford University, Tech. Rep. STAN-CS-83-970, Stanford, CA, 1983.
10. Y. Venema, A modal logic for chopping intervals, Journal of Logic and Computation 1 (4) (1991) 453-476.
11. P. Wolper, The tableau method for temporal logic: An overview, Logique et Analyse 28 (1985) 119-136.