• KLMLean

  • Referenced in 5 articles [sw09988]
  • KLMLean 2.0: A theorem prover for KLM logics of nonmonotonic reasoning. We present KLMLean ... theorem prover for propositional KLM logics of nonmonotonic reasoning. KLMLean 2.0 implements some analytic tableaux...
  • CondLean

  • Referenced in 9 articles [sw09986]
  • CondLean 3.0: Improving CondLean for stronger conditional logics...
  • ModLeanTAP

  • Referenced in 19 articles [sw12368]
  • ModLeanTAP: Lean Tableau-based Deduction for Propositional Modal...