KLMLean 2.0: A theorem prover for KLM logics of nonmonotonic reasoning. We present KLMLean 2.0, a theorem prover for propositional KLM logics of nonmonotonic reasoning. KLMLean 2.0 implements some analytic tableaux calculi for these logics recently introduced. KLMLean 2.0 is inspired by the “lean” methodology, it is implemented in SICStus Prolog and it also contains a graphical interface written in Java.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element