[DL] implementation of transitive closure

Guillaume Hoffmann guillaume.hoffmann at loria.fr
Wed Nov 26 17:45:12 CET 2008

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.


Guillaume Hoffmann

More information about the dl mailing list