[DL] implementation of transitive closure

[degiacom]

Look also at the Tableaux Workbench Suite (http:// 
twb.rsise.anu.edu.au/) for Propositional Dynamic Logic (PDL) and also  
Renate A. Schmidt's "pdl-tableau" (http://www.cs.man.ac.uk/~schmidt/pdl-tableau/ 
).
Cheers,
-Giuseppe


On Nov 28, 2008, at 17:38 , Enrico Franconi wrote:

> Have a look at DLP:
> <http://ect.bell-labs.com/who/pfps/dlp/>
> cheers
> --e.
>
> 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
>
>
>
>
> ---
> **  You received this mail via the description logic mailing list;  
> for more  **
> **  information, visit the description logic homepage at http://dl.kr.org/ 
> .  **

----------
De Giacomo, Giuseppe
Dipartimento di Informatica e Sistemistica
Sapienza Universita' di Roma
Via Ariosto 25
00185 Roma, Italy
tel: +39 06 77274010
fax: +39 06 77274002
degiacomo at dis.uniroma1.it
http://www.dis.uniroma1.it/~degiacomo
----------