Publisher
Springer Berlin Heidelberg
Reference4 articles.
1. M. D’Agostino and M. Mondadori. The Taming of the Cut. Journal of Logic and Computation, 4:285–319, 1994.
2. 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.
3. 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.
4. J. Pitt and J. Cunningham. Theorem proving and model building with the calculus KE. Journal of the IGPL, 4(1):129–150, 1996.