hylotab: Tableau based theorem prover for hybrid logics

[ program, theorem-provers ] [ Propose Tags ]

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.


Automatic Flags

Build a static binary


Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS] 1.2.0, 1.2.1
Dependencies base (>=4 && <5), hylolib (>=1.4 && <1.5), mtl (>=2 && <3) [details]
License LicenseRef-GPL
Author Jan van Eijck, Guillaume Hoffmann
Maintainer guillaumh@gmail.com
Category Theorem Provers
Home page http://www.glyc.dc.uba.ar/intohylo/hylotab.php
Uploaded by GuillaumeHoffmann at 2012-07-05T01:37:35Z
Reverse Dependencies 1 direct, 0 indirect [details]
Executables hylotab
Downloads 1726 total (6 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
Successful builds reported [all 8 reports]