Authors
Bernhard Beckert, Rajeev Goré
Publication date
1997/5/13
Book
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Pages
91-106
Publisher
Springer Berlin Heidelberg
Description
We present a sound, complete, modular and lean labelled tableau calculus for many propositional modal logics where the labels contain “free” and “universal” variables. Our “lean” Prolog implementation is not only surprisingly short, but compares favourably with other considerably more complex implementations for modal deduction.
Total citations
Scholar articles
B Beckert, R Goré - … Conference on Automated Reasoning with Analytic …, 1997