KLMLean

swMATH9988MaRDI QIDQ21965FDOQ21965

Author name not available (Why is that?)

Cited In (5)

• KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning
• CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity
• From input/output logics to conditional logics via sequents -- with provers
• Preserving confidentiality while reacting on iterated queries and belief revisions
• Title not available (Why is that?)

This page was built for software: KLMLean