Tools
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.
Renate Schmidt maintains a list of accessible theorem provers and tools.
Course Material
To be supplied.
Bibliographic Information
To be supplied.
Other links
We welcome suggestions for pointers to modal logic related material on any of the following
- basic course material
- publications and bibtex files
- computational tools
- other links
Check back regularly, and get in touch with us if you would like to contribute!