CondLean
From MaRDI portal
swMATH9986MaRDI QIDQ21963FDOQ21963
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007%2F11554554_27
Cited In (17)
- tuCLEVER
- Conditional and preferential logics. Proof methods and theorem proving.
- From input/output logics to conditional logics via sequents -- with provers
- CoLoSS
- CSLLean
- KLMLean
- leanTAP
- NESCOND
- ModLeanTAP
- CondLean: a theorem prover for conditional logics
- A sequent calculus and a theorem prover for standard conditional logics
- VINTE
- MOIN
- VINTE: an implementation of internal calculi for Lewis' logics of counterfactual reasoning
- CSL-\textsf{lean}: a theorem-prover for the logic of comparative concept similarity
- Automated Reasoning with Analytic Tableaux and Related Methods
- Theorem proving for conditional logics: CondLean and GOALDUCK
This page was built for software: CondLean
