Results 1 to 3 of 3
Sort by:

  • 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...