[DL] implementation of transitive closure

Enrico Franconi franconi at inf.unibz.it
Fri Nov 28 17:38:57 CET 2008

Have a look at DLP:

On 26 Nov 2008, at 17:45, Guillaume Hoffmann wrote:
> does anyone know about a prover that implements a calculus that
> handles the transitive closure operator ?
> I'm wondering if there is any such prover based on description logic,
> mu-calculus or second-order logic.
> regards,
> Guillaume Hoffmann

More information about the dl mailing list