Author:
Beckert Bernhard,Goré Rajeev
Publisher
Springer Berlin Heidelberg
Reference6 articles.
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. leanTAP: 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 Synthese 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.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献