Molle 1.0 review

Download
by rbytes.net on

Molle is a cross-platform prover for modal logic

License: Academic Free License (AFL)
File size: 2226K
Developer: Politecnico di Milano
0 stars award from rbytes.net

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.

Molle 1.0 search tags