swMATH9988MaRDI QIDQ21965FDOQ21965
Author name not available (Why is that?)
Official website: http://www.di.unito.it/~pozzato/klmlean%202.0/
Cited In (13)
- KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning
- tuCLEVER
- Conditional and preferential logics. Proof methods and theorem proving.
- From input/output logics to conditional logics via sequents -- with provers
- CondLean
- CSLLean
- leanTAP
- NESCOND
- ModLeanTAP
- VINTE
- Preserving confidentiality while reacting on iterated queries and belief revisions
- MOIN
- CSL-\textsf{lean}: a theorem-prover for the logic of comparative concept similarity
This page was built for software: KLMLean
