Molle is a cross-platform prover for modal logic, which exploits the modal semantic tableaux method. It features a very usable and easy to use graphical interface, with interactive representation of generated models. Molle is maintained by Politecnico di Milano.
Comments