Molle is a cross-platform prover for modal logic.
Molle project features a very usable graphical interface, with an interactive representation of generated models.
· Java 1.5
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.