Software

Temporal logic

  • TRP++ a resolution-based prover for propositional linear time temporal logic
  • TeMP a Temporal Monodic Prover

Description logic