KLMLean
From MaRDI portal
Software:21965
No author found.
Related Items
From input/output logics to conditional logics via sequents -- with provers ⋮ Unnamed Item ⋮ CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity ⋮ Preserving confidentiality while reacting on iterated queries and belief revisions ⋮ KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning
This page was built for software: KLMLean