@hackage hylotab1.2.1

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 it is kept compatible with the syntax used in HyLoLib.