Molle 1.0 review

Molle is a cross-platform prover for modal logic

License: Academic Free License (AFL) File size: 2226K Developer: Politecnico di Milano

0

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.

Requirements:
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.