Molle Molle is a cross-platform prover for modal logic.
Download

Molle Ranking & Summary

Molle Tags

interactive representation interactive representation generated models modal logic Molle

Molle Description

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.Requirements:· Java 1.5What'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 Related Software