@hackage hylotab1.2.0

Tableau based theorem prover for hybrid logics

  • Categories

    • License

      LicenseRef-GPL

    • Maintainer

      guillaumh@gmail.com

    • Links

    • Versions

    HyLoTab is a proof-of-concept tableaux prover for hybrid logics originally written in 2002 by Jan van Eijck. It is no longer developped, but we made it compatible with the syntax used in HyLoLib to easen comparison with other provers.