CondLean
From MaRDI portal
Software:21963
swMATH9986MaRDI QIDQ21963FDOQ21963
Author name not available (Why is that?)
Cited In (8)
- Conditional and preferential logics. Proof methods and theorem proving.
- From input/output logics to conditional logics via sequents -- with provers
- CondLean: a theorem prover for conditional logics
- A sequent calculus and a theorem prover for standard conditional logics
- 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
