MolleMolle is a cross-platform prover for modal logic. | |
Download |
Molle Ranking & Summary
Advertisement
- License:
- Academic Free License
- Price:
- FREE
- Publisher Name:
- Politecnico di Milano
- Publisher web site:
Molle Tags
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