NESCOND
From MaRDI portal
Software:22010
No author found.
Related Items (6)
MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description) ⋮ From input/output logics to conditional logics via sequents -- with provers ⋮ NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics ⋮ VINTE: an implementation of internal calculi for Lewis' logics of counterfactual reasoning ⋮ Inducing Syntactic Cut-Elimination for Indexed Nested Sequents ⋮ Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi
This page was built for software: NESCOND
