LoTREC

Allows you to test logical strategies and formulas.
Download

LoTREC Ranking & Summary

Advertisement

  • Rating:
  • License:
  • Freeware
  • Publisher Name:
  • LoTREC Team
  • Operating Systems:
  • Windows All
  • File Size:
  • 19.8 MB

LoTREC Tags


LoTREC Description

LoTREC is a tableau theorem prover designed for the students and researchers that deal with modal logic implementations. it allows you to create a logic theorem by creating a set of connectors, rules and strategies. All the items will be used in order to test the logical formula.


LoTREC Related Software

About SoftwareSea