Molle 1.0

Molle is a cross-platform prover for modal logic.

  Add it to your Download Basket!

 Add it to your Watch List!

0/5

Rate it!
send us
an update
LICENSE TYPE:
Academic Free License (AFL) 
USER RATING:
3.0/5 19
DEVELOPED BY:
Politecnico di Milano
HOMEPAGE:
molle.sourceforge.net
CATEGORY:
ROOT \ Science and Engineering \ Mathematics
3 Molle Screenshots:
MolleMolleMolle
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

#interactive representation #generated models #modal logic #Molle #interactive #representation #generate

Add your review!

SUBMIT