Cited in
(17)- 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
- VINTE
- CondLean: a theorem prover for conditional logics
- A sequent calculus and a theorem prover for standard conditional logics
- tuCLEVER
- 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
- MOIN
- Theorem proving for conditional logics: CondLean and GOALDUCK
- Automated Reasoning with Analytic Tableaux and Related Methods
This page was built for software: CondLean
