HyLoTab: A Tableaux Based Theorem Prover for Hybrid Logics

HyLoTab is a proof-of-concept tableaux prover for hybrid logics originally written 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.

HyLoTab is implemented in Haskell, and the executable is generated using the Glasgow Haskell Compiler.

• Original page (with system description).

Latest development version: