Molle Free and open source cross-platform prover for modal logic
Download

Molle Ranking & Summary

Molle Tags

formula prove formula prove logic formula prover prove proover

Molle Description

Free and open source cross-platform prover for modal logic 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: · 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

Molle Related Software