System description: LeanK 2.0

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

Volumn 1421, Issue , 1998, Pages 51-55

  Beckert, Bernhard ^a   Goré, Rajeev ^b  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; THEOREM PROVING;

DECISION PROCEDURE; FREE-VARIABLE TABLEAUX; MODAL LOGIC; PROLOG IMPLEMENTATIONS; SEARCH SPACES; SYSTEM DESCRIPTION;

AUTOMATION;

EID: 52549127942     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0054247     Document Type: Conference Paper

References (6)

1. B. Beckert and R. Goré. Free variable tableaux for prepositional modal logics. In Proceedings, TABLEAUX-97, LNCS 1227, pages 91-106. Springer, 1997.
2. B. Beckert and J. Posegga. leanT-P: Lean tableau-based deduction. Journal of Automated Reasoning, 15(3): 339-358, 1995.
3. M. Fitting. Proof Methods for Modal and Intuitionistic Logics, volume 169 of Syn-these Library. D. Reidel, Dordrecht, Holland, 1983.
4. R. Goré. Tableau methods for modal and temporal logics. In Handbook of Tableau Methods, Kluwer, Dordrecht, 1998. To appear.
5. G. Governatori. Labelled tableaux for multi-modal logics. In Proceedings, TABLEAUX-95, LNCS 918, pages 79-94. Springer, 1995.
6. J. Pitt and J. Cunningham. Distributed modal theorem proving with KE. In Proceedings, TABLEAUX-96, LNAI 1071, pages 160-176. Springer, 1996.