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

Check back regularly, and get in touch with us if you would like to contribute!