模态认知逻辑的求解器

Question

是有用于模态认知逻辑的（SMT样）溶剂（AKA知识逻辑）？

我需要第一个订单（不仅仅是命题）案例。

Answer 1

可以尝试模型检查器演示（动态认知模型）。

Answer 2

以下是一些相关链接：

模态逻辑求解器：

• http://www.cs.man.ac.uk/~schmidt /工具/
• http://www.irit.fr/lotrec/
• http://twan.home.fmf.nl/moltap/index.html < / a>
• http：//www2.tcs.ifi.lmu .de /〜margange / papers / m4m-6.pdf

  描述逻辑推理：

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

    动态认知造型，在PAL的答案中提到。

    • 不幸的是，所有这些（AFAIK）只在命题（不是第一阶）案件中工作。