Tools
We welcome suggestions for pointers to modal logic related material on any of the following
- basic course material
- bibtex files
- computational tools
- other links
- publications
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 the site, maintained by Renate Schmidt, to reach a list of accessible theorem provers, tools and scripts as well as benchmark suites.