Molle 1.0
Molle is the Modal Logic Loony Evaluator.
|
0.00 
Freeware
0K
Windows Vista 
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
Similar software
Molle 1.0
DEI, Politecnico di Milano
Molle is the Modal Logic Loony Evaluator.
CyberSpire WebDialogs 1.0.2.4000
CyberSpire LLC
With CyberSpire WebDialogs, create web-based ASP.
WinVi 2.96b
Raphael Molle
WinVi is an application designed to a free editor for MS Windows settings.
HtmlSource Viewer 1.6.10
Orbis Systems
HtmlSource Viewe is a simple yet powerful utility for in-depth viewing and analyzing any web page source code.
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.
Shell MegaPack.Net 2012
Sky Software
Shell MegaPack brings drop-in Windows shell browsing functionality to your application
Shell MegaPack.
Macros IDE 1.8
S&G Team
Macros IDE is a useful and powerful development platform which is based on ActiveX Scripting for rapidly customizing rich-client desktop applications and integrating them with existing systems.
Paper Folding 3D 1.20
fsheron
"Paper Folding 3D" is a using 3 dimension all directions, multi-view guide program.
RapidSpell Web .NET 3.3
Keyoti
RapidSpell Web .
RSS