モーダルエピシステミックロジックのためのソルバー

Question

モーダルエピシステミックロジック用（AKAロジック）のための（AKAロジック）？

私は最初の注文（命題だけではない）ケースです。

Answer 1

モデルチェッカーデモ（動的実験的モデリング）を試すことができます。

Answer 2

これはいくつかの関連リンクです：

モーダルロジックソルバー：

• http://www.cs.man.ac.uk/~schmidt / tools /
• http://www.irit.fr/lotrec/
• http://twan.home.fmf.nl/moltap/index.html < / a>
• http：//www2.tcs.ifi.lmu. .de / ~mlange /紙/ M4M-6.PDF

  説明ロジック推性：

  • http://www.cs.man.ac.uk/~ sattler / reasioner.html

    Palの答えに記載されている動的実験的モデリング。

    • http://homepages.cwi.nl/~jve/demo/demo。 PDF

      残念ながら、それらのすべて（AFAIK）は命題（一次ではない）ケースでのみ働きます。