MOIN

swMATH43883MaRDI QIDQ5974871FDOQ5974871

Author name not available (Why is that?)

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
• Local reductions for the modal cube
• Nested sequents for intuitionistic modal logics via structural refinement
• Terminating calculi and countermodels for constructive modal logics
• CondLean
• CSLLean
• KLMLean
• NESCOND
• TABLEAUX
• InKreSAT
• BDDTab

This page was built for software: MOIN