Abstract
Prover: We used □KE (no version number), which was designed to be a generic theorem prover for the family of 15 normal model logics.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
M. D’Agostino and M. Mondadori. The Taming of the Cut. Journal of Logic and Computation, 4:285–319, 1994.
M. Fitting. Basic modal logic. In D. Gabbay, C. Hogger, & J. Robinson, eds., Handbook of Logic in AI and Logic Programming, vol.1, pp368–448. OUP, 1993.
J. Pitt and J. Cunningham. Distributed modal theorem proving with KE. In P. Miglioli, U. Moscato, D. Mundici, & M. Ornaghi, eds., Theorem Proving with Analytic Tableaux and Related Methods, LNAI 1071, pp160–176. Springer-Verlag, 1996.
J. Pitt and J. Cunningham. Theorem proving and model building with the calculus KE. Journal of the IGPL, 4(1):129–150, 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pitt, J. (1998). Benchmark Evaluation of □KE. In: de Swart, H. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 1998. Lecture Notes in Computer Science(), vol 1397. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-69778-0_10
Download citation
DOI: https://doi.org/10.1007/3-540-69778-0_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64406-4
Online ISBN: 978-3-540-69778-7
eBook Packages: Springer Book Archive