Molle 1.0 reviewDownload
Molle is a cross-platform prover for modal logic
Molle is a cross-platform prover for modal logic. It exploits the modal semantic tableaux method.
Molle project features a very usable graphical interface, with an interactive representation of generated models.
What's New in This Release:
This release can prove formulas of propositional modal logic, visualize a proof tableaux and resolution steps, and visualize models for examples and counterexamples.
Molle 1.0 search tags