Molle 1.0

Molle 1.0 Screenshot Molle is the Modal Logic Loony Evaluator.

Developer:   DEI, Politecnico di Milano
      software by DEI, Politecnico di Milano →
Price:  0.00
License:   Freeware
File size:   0K
Language:   
OS:   Windows Vista (?)
Rating:   0 /5 (0 votes)

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 wel

tags modal  logic  

Molle 1.0 screenshot


Download Molle 1.0

 Download Molle 1.0


Authors software

Molle 1.0 Molle 1.0
DEI, Politecnico di Milano

Molle is the Modal Logic Loony Evaluator.

Similar software

Molle 1.0 Molle 1.0
DEI, Politecnico di Milano

Molle is the Modal Logic Loony Evaluator.

WinVi 2.96b WinVi 2.96b
Raphael Molle

WinVi is an application designed to a free editor for MS Windows settings.

ActiveProperties 3.2.3 ActiveProperties 3.2.3
Logic Dreams s.a.s.

The ActiveProperties control provides you with a very simple way to visualize and to represent a set of properties.

Fuzzy logic trees 1.0 Fuzzy logic trees 1.0
Malcolm McLean

Fuzzy logic trees are a machine learning method that applies the principles of fuzzy logic to standard logical decision trees.

swProp2 1.1 swProp2 1.1
Vinodh Kumar M.

swProp2 is a SolidWorks Custom Properties editor implemented as an Add-In dll.

Logic Builder SDK 1.0 Logic Builder SDK 1.0
Timur Software

Logic Builder SDK - The universal state-oriented programming system for any language, any IDE and platform.

MiniCalcEuro 1.1 MiniCalcEuro 1.1
Alain Blaisot

MiniCalcEuro is a little program written in Visual C+ that allow an user to convert the currencies of all states of the eurozone.

Logic Friday 1.0 Logic Friday 1.0
Steve Rickman

Cliprex Video Properties 1.0 Cliprex Video Properties 1.0
Cliprex Video Software

Cliprex Video Properties is a Windows explorer extension which will show you full properties of your selected video.

JSwat 3.16 JSwat 3.16
Nathan Fiedler

JSwat is a graphical Java debugger front-end, written to use the Java Platform Debugger Architecture and based on the NetBeans Platform.

Other software in this category




CleanCIH 1.6 CleanCIH 1.6
Proland

Clean your PC from the Win95.

Klez Removal Tool 1.0.11 Klez Removal Tool 1.0.11
Symantec Corporation

W32.

WinImp 1.21 WinImp 1.21
Technelysium

WinImp is a new file archiver which not only recognises common archive formats, but also introduces a new, high performance archive format.

Softpit PC Search Light 1.3 Softpit PC Search Light 1.3
Goldmarc Technology AS

The softpit PC search light is a useful utility for people who need to find critical information fast and precisely on their own computer.