In the 1990s I some times used a computer program with the Max Planck Institute which helped with calculating complicated correspondences for modal logical formulas. Is some program like that available somewhere now? 



Is a computer program for correspondence theory available?
My question is answered by Jason Rute's link <http://www.cs.man.ac.uk/~schmidt/tools/>. Similar links would be welcome.


