标签： logic solver smt
模态认知逻辑（又称知识逻辑）是否有任何（类似SMT）求解器？
我需要第一顺序（不仅仅是命题）。
答案 0 :(得分：3)
您可以尝试使用模型检查器DEMO（Dynamic Epistemic modeling）。
答案 1 :(得分：2)
以下是一些相关链接：
模态逻辑解算器：
描述逻辑推理者：
动态认知模型，在Pal的回答中提到。
不幸的是，他们所有人（AFAIK）只在命题（而不是第一顺序）的情况下工作。