Fibring semantic tableaux

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

Volumn 1397 LNAI, Issue , 1998, Pages 77-92

  Beckert, Bernhard ^a   Gabbay, Dov ^b  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; CALCULATIONS; PATHOLOGY; SEMANTICS;

FIRST ORDER; LOGICAL SYSTEM; MODAL LOGIC; PREDICATE LOGIC; SEMANTIC TABLEAU; SOUND AND COMPLETE;

COMPUTER CIRCUITS;

EID: 41249101177     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-69778-0_15     Document Type: Conference Paper

References (9)

1. W. Ahrendt and B. Beckert. An improved delta;-rule for ground first-order tableaux. Unpublished draft available from the authors, 1997.
2. B. Beckert and D. Gabbay. A general framework for fibring semantic tableaux. Unpublished draft available from the authors, 1997.
3. B. Beckert, R. Hähnle, and P. H. Schmitt. The even more liberalized delta;-rule in free variable semantic tableaux. In Proceedings of KGC, LNCS 713. Springer, 1993.
4. M. D'Agostino and D. Gabbay. Fibred tableaux for multi-implication logics. In Proceedings of TABLEAUX, LNCS 1071. Springer, 1996.
5. M. D'Agostino, D. Gabbay, R. Hähnle, and J. Posegga, editors. Handbook of Tableau Methods. Kluwer, Dordrecht, 1998. To appear.
6. D. Gabbay. Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics. Journal of Symbolic Logic, 61:1057-1120, 1996.
7. D. Gabbay. An overview of fibred semantics and the combination of logics. In Proceedings of FroCoS. Kluwer, Dordrecht, 1996.
8. D. Gabbay. Fibring Logic. Oxford University Press, 1998. Forthcoming.
9. D. Gabbay and G. Governatori. Fibred modal tableaux. Draft, 1997.