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