Molle exploits the modal semantic tableaux method. Molle features a very usable graphical interface, with interactive representation of generated models.
NOTE: Molle is licensed and distributed under the terms of the Academic Free License (AFL).
Requirements:
· Java
What`s New in This Release: [ read full changelog ]
· prove formulas of propositional modal logic
· proof with explicit frame properties: {reflexivity} (more to come...)
· visualize proof tableaux, and resolution steps
· visualize models for examples and counterexamples
