MOIN

MaRDI QIDQ5974871swMATHFDO

Official website http://www.lix.polytechnique.fr/Labo/Lutz.Strassburger/Software/Moin/

Described by source

• MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)

Cited in

(11)

• tuCLEVER
• Nested sequents for intuitionistic modal logics via structural refinement
• Terminating calculi and countermodels for constructive modal logics
• CondLean
• CSLLean
• KLMLean
• NESCOND
• TABLEAUX
• InKreSAT
• BDDTab
• Local reductions for the modal cube

This page was built for software: MOIN