Free-Variable Tableaux for Propositional Modal Logics

SETHEO: A high-performance theorem prover

Reinhold Letz, J. Schümann, Stefan Bayerl et al. · Journal of Automated Reasoning · 1992 · 237 citations

Computing, Computer Science, Formal Methods +4

leanTAP: Lean tableau-based deduction

Bernhard Beckert, Joachim Posegga · Journal of Automated Reasoning · 1995 · 145 citations

Education, Operations Management, Formal Methods +3

Provability in Logic.

Roland Hall, Stig Kanger · The Philosophical Quarterly · 1960 · 123 citations

Humanities, Philosophy, Logic +12

Grafting Modalities onto Substructural Implication Systems

Marcello D’Agostino, Dov M. Gabbay, Alessandra Russo · Studia Logica · 1997 · 20 citations

Humanities, Computer Science, Formal Methods +11

Semantic tableaux as a framework for automated theorem-proving

Steve Reeves · Advances in Artificial Intelligence · 1987 · 18 citations

Computing, Computer Science, Formal Methods +11