Softpedia >Mac >  Applications filed under: modal logic  (3 items)

Apps filed under: modal logic

  RSS Feed for this tag 3 applications totalLast updated: Jun 21st 2020, 12:33 GMT

     
  • 336 downloads
  • 2.8 MB
ProofTools

ProofTools 0.6.2

A cross-platform application that was specifically designed to generate graphical semantic tableau...

Jun 21st 2020, 12:33 GMT
Mac OS X (Intel only)
     
  • 110 downloads
  • 1 KB
Mollicino

Mollicino 1.0

Model logic prover written in Java

Jan 14th 2013, 13:08 GMT
Mac OS X
     
  • 122 downloads
  • 1 KB
LoTREC

LoTREC 2.0

Tableau theorem prover for modal logic

Jun 9th 2012, 14:11 GMT
Mac OS X