Is a computer program for correspondence theory available?

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?

• What do you mean by correspondence theory? – Monroe Eskew Mar 19 '14 at 22:32
• It is the theory which studies the connections between formulas of modal logic and corresponding conditons upon the accessibility relation on "possible worlds" in the model or frame. The term "correspondence theory" is quite established. All modal logical formulas have second order correspondences, but in many interesting cases the condition can be shown to collapse to a first order condition. For instance, the formula $\square \alpha \rightarrow \square \square \alpha$ corresponds with the condition that the accessibility relation R is transitive. – Frode Alfson Bjørdal Mar 19 '14 at 22:50
• A Google search got me this. cs.man.ac.uk/~schmidt/tools. Is this the sort of thing you are looking for? – Jason Rute Mar 20 '14 at 4:49
• Thanks Jason. Yes, indeed. It was the SCAN-algorithm which is also linked to in your link that I was using, but perhaps some of the other links provided at your site are better. – Frode Alfson Bjørdal Mar 20 '14 at 10:45