Molle 1.0

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

last updated on:
October 5th, 2006, 15:55 GMT
price:
FREE!
developed by:
Politecnico di Milano
homepage:
molle.sourceforge.net
license type:
Academic Free License (AFL) 
category:
ROOT \ Science and Engineering \ Mathematics

FREE!

In a hurry? Add it to your Download Basket!

user rating 19

3.0/5
 

0/5

3 Screenshots
MolleMolleMolle

Add your review!

SUBMIT