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?
$\begingroup$
$\endgroup$
4
asked Mar 19, 2014 at 22:27
-
1$\begingroup$ What do you mean by correspondence theory? $\endgroup$– Monroe EskewCommented 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$– Frode Alfson BjørdalCommented 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 RuteCommented 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$– Frode Alfson BjørdalCommented Mar 20, 2014 at 10:45
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
0
My question is answered by Jason Rute's link http://www.cs.man.ac.uk/~schmidt/tools/. Similar links would be welcome.
answered Mar 20, 2014 at 16:25