Advances in Modal Logic
You are here: AiML.NET : Tools


We welcome suggestions for pointers to modal logic related material on any of the following Check back regularly, and get in touch with us if you would like to contribute!


Course Material
To be supplied.


Bibliographic Information
To be supplied.


Computational Tools
In recent years the number of computational tools useful for modal logics, and related logics, has increased significantly, and it continues to increase. Point your browser to this site, maintained by Renate Schmidt, to reach a list of accessible theorem provers, tools and scripts as well as benchmark suites.


Other links
 
Separator
[Home | Problem Area | Who's Who | Background | Workshops | Volumes | News | Tools]

Advances in Modal Logic
Contact Address

Copyright © 2001
This page was last built on Fri, Feb 16, 2001 at 22:33:53
by Chinaski WorldWide for the AiML Steering Committee