GLyC - Logic, Language and Computability Research Group

Tools

Hybrid Logics

HyLoRes is an advanced automated theorem prover for hybrid logics based on resolution. This is a joint development with the Talaris research group in Nancy, France.
Visit the project homepage

HyLoLib

HyLoLib is the support library for the InToHyLo project, a suite of cooperating inference tools for hybrid logics. This is a joint development with the Talaris research group in Nancy, France.
Visit the project homepage

ModalTesting

Framework for the comparison of theorem provers, using random generated formulas. This is a joint development with the Talaris research group in Nancy, France.
Visit the project homepage

Prepo

Prepo is a rewrite-rule driven term-rewriting engine for hybrid formulas.
The darcs repository is here

LTHL

Implementation of several satisfiability-preserving translations from hybrid logics to first-order logic, aimed to be used together with first-order theorem provers.
The darcs repository is here