NESCOND

swMATH10041MaRDI QIDQ22010FDOQ22010

Author name not available (Why is that?)

Official website: http://www.di.unito.it/~pozzato/nescond/

Cited In (17)

• tuCLEVER
• 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
• InfOCF-Web
• MUltlog
• CondLean
• CSLLean
• KLMLean
• Gen2sat
• Tweety
• VINTE
• KEMS
• MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)
• MOIN
• VINTE: an implementation of internal calculi for Lewis' logics of counterfactual reasoning

This page was built for software: NESCOND