Разрешены для модальной эпистемической логики

Question

Есть ли какие-нибудь (SMT-подобные) решатели для модальной эпистемической логики (ака логика знаний)?

Мне нужен первый заказ (не только просто провозгласия).

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 / ~ ~ mlange / papers / m4m-6.pdf

  Описание Логические разум:

  .
  • http://www.c.man.ac.uk/~ Sattler / Rebsers.html

    Динамическое эпистемическое моделирование, упомянутое в ответе PAL.

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

      К сожалению, все они (AFAIK) работают только в случае пропозиционального (не первого порядка).