NESCOND
From MaRDI portal
Cited in
(17)- VINTE: an implementation of internal calculi for Lewis' logics of counterfactual reasoning
- MUltlog
- From input/output logics to conditional logics via sequents -- with provers
- CSLLean
- CondLean
- KLMLean
- Inducing syntactic cut-elimination for indexed nested sequents
- Gen2sat: an automated tool for deciding derivability in analytic pure sequent calculi
- Gen2sat
- NESCOND: an implementation of nested sequent calculi for conditional logics
- Tweety
- VINTE
- KEMS
- MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)
- tuCLEVER
- MOIN
- InfOCF-Web
This page was built for software: NESCOND
