NESCOND
From MaRDI portal
Software:22010
swMATH10041MaRDI QIDQ22010FDOQ22010
Author name not available (Why is that?)
Cited In (6)
- Inducing Syntactic Cut-Elimination for Indexed Nested Sequents
- From input/output logics to conditional logics via sequents -- with provers
- Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi
- MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)
- NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics
- VINTE: an implementation of internal calculi for Lewis' logics of counterfactual reasoning
This page was built for software: NESCOND
