Molle 1.0
Molle is the Modal Logic Loony Evaluator.
|
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
Download Molle 1.0
Authors software
Molle 1.0
DEI, Politecnico di Milano
Molle is the Modal Logic Loony Evaluator.
Similar software
Molle 1.0
DEI, Politecnico di Milano
Molle is the Modal Logic Loony Evaluator.
WinVi 2.96b
Raphael Molle
WinVi is an application designed to a free editor for MS Windows settings.
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
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
Vinodh Kumar M.
swProp2 is a SolidWorks Custom Properties editor implemented as an Add-In dll.
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
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
Steve Rickman
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
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
Proland
Clean your PC from the Win95.
Klez Removal Tool 1.0.11
Symantec Corporation
W32.
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
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.