問題タブ [modal-logic]

P の読み方は、古典論理で Q を意味しますか?

例 ：

これは、古典的な論理規則を使用する様相論理です。
KaX : a は X が真であることを知っています。

英語で含意を読む方法に興味がありますか? もしそうなら、そうでなければ？

編集 :モーダル ロジックでは、Ka はボックスになります。これは、必然性ルール、ルール N、つまりボックス P を象徴するボックス形状の記号です。ワールド デルタに P がある場合、アクセス可能なすべてのワールドにも P があるはずです。

ダイヤモンド P もあり、ダイヤモンド P が持つ世界からアクセスできる P を持つ世界が 1 つ存在する可能性を意味します。

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

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