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$
  • 1
    $\begingroup$ What do you mean by correspondence theory? $\endgroup$ – Monroe Eskew Mar 19 '14 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$ – Frode Alfson Bjørdal Mar 19 '14 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 '14 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$ – Frode Alfson Bjørdal Mar 20 '14 at 10:45
2
$\begingroup$

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

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ The link was broken, I tried to fix it, please verify. $\endgroup$ – Andrej Bauer Mar 20 '14 at 18:06
  • $\begingroup$ The link should be working. $\endgroup$ – Frode Alfson Bjørdal Mar 21 '14 at 0:30
  • 3
    $\begingroup$ Yeah, that's because I fixed it :-) $\endgroup$ – Andrej Bauer Mar 21 '14 at 7:48
  • $\begingroup$ That was very considerate. Thanks! :) $\endgroup$ – Frode Alfson Bjørdal Mar 21 '14 at 9:57

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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