4

モーダル認識論理 (別名、知識の論理) 用の (SMT のような) ソルバーはありますか?

私は（命題だけでなく）ファーストオーダーのケースが必要です。

4

2 に答える 2

3

モデルチェッカー DEMO (Dynamic Epistemic MOdelling) を試すことができます。

于 2012-08-03T09:53:25.050 に答える
2

関連するリンクは次のとおりです。

様相論理ソルバー：

記述論理推論：

パルの回答で言及されている動的認識論的モデリング。

残念ながら、それらすべて（AFAIK）は、命題（一次ではない）の場合にのみ機能します。

于 2013-02-26T13:42:02.390 に答える