Löser für modale epistemische Logik

Question

gibt es keine (SMT-ähnlichen) Löser für modale epistemische Logiken (AKA-Wissenslogik)?

Ich brauche erster Ordnung (nicht nur vorgeschrieben) Fall.

Answer 1

Sie können die Modell-Checker-Demo (dynamische epistemische Modellierung) ausprobieren.

Answer 2

Hier sind einige relevante Links:

modale logische lfähre:

.
• http://www.cs.man.ac.uk/~schmidt / Werkzeuge /
• http://www.irit.fr/lotrec/
• http://twan.home.fmf.nl/moltap/index.html < / a>
• http://www2.tcs.ifi.lmu .de / ~ mlange / papiere / m4m-6.pdf

  Beschreibung Logic-Mentner:

  .
  • http://www.cs.man.ac.uk/~ Sattler / Prognler.html

    dynamische epistemische Modellierung, erwähnt in der Antwort von PAL.

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

      Leider arbeiten alle (Afaik) nur in SEPOUSE (nicht erster Ordnung) Fall.