7
$\begingroup$

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?

$\endgroup$
4
  • 1
    $\begingroup$ What do you mean by correspondence theory? $\endgroup$ Mar 19, 2014 at 22:32
  • 2
    $\begingroup$ 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. $\endgroup$ Mar 19, 2014 at 22:50
  • 4
    $\begingroup$ A Google search got me this. cs.man.ac.uk/~schmidt/tools. Is this the sort of thing you are looking for? $\endgroup$
    – Jason Rute
    Mar 20, 2014 at 4:49
  • $\begingroup$ 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. $\endgroup$ Mar 20, 2014 at 10:45

1 Answer 1

2
$\begingroup$

My question is answered by Jason Rute's link http://www.cs.man.ac.uk/~schmidt/tools/. Similar links would be welcome.

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.