Molle description:
Molle is the Modal Logic Loony Evaluator.
Molle is a cross-platform prover written in Java™ that implements the tableaux algorithm for the K modal logic. Molle is able to generate example and counterexample models and prove the validity of modal formule .
Frame properties can be selected: the reflexive property has been implemented so far, and more properties will be in the short term. The goal is to have all the major modal logics available for proving.
Molle features a very usable graphical interface and a simple syntax for formulae. With next to no learning curve, Molle is extremely well suited for teaching and practicing with modal logics.
|
Softpedia Editor Reviews:
Not available yet.
Popularity Chart
 Competition Chart (click bars to see more)
|
|
OTHER PROGRAMS by
Andrea Mocci:
None found. |
|
 Matlab 7.11
Integrates mathematical computing, visualization...
 PASW (formerly SPSS) 1...
Statistical data modeling tool used by commercia...
 ChemDraw Ultra 12.0
Industry leader of chemical drawing programs
 Eagle 5.11
A very useful PCB (Printed Circuit Board) CAD ut...
 Mathematica 6.0
Mathematica brings 64-bit technology to all supp...
 Stata 11
A complete, integrated statistical package that ...
 Mathematica 8.0
The most powerful mathematical software system |
|
Softpedia Editor Reviews:
Not available yet.
Popularity Chart
 Competition Chart (click bars to see more)
|
|
OTHER PROGRAMS by
Politecnico di Milano:
None found. |
|
 Optimization Solver fo...
Optimization Solver for OpenOffice.org Calc is d...
 wxMaxima 0.8.6
GUI for maxima
 Scilab 5.3.0
A numerical computation system
 Gretl 1.8.7
Gretl is a cross-platform software package for e...
 SAGE 3.0.2
SAGE is an open source mathematics software.
 FreeMat 3.6
FreeMat is a free environment for rapid engineer...
 PG Calculator 2.2-10
PG Calculator is a powerfull scientific skinable... |
|
 Molle is not available for Handheld
7-Day download statistics for MOLLE
Most downloaded programs in the last 24 hours
|
Molle is not available for Windows Portable 
