SOLVERS PER LOGICI EPOSTEMICHE MODAL

Question

C'è un solvente (SMT-Like) per le logiche epistemiche modali (la logica della Conoscenza)?

Ho bisogno del primo ordine (non solo solo proposizionale).

Answer 1

Puoi provare il modello Checker Demo (Dynamic Epistemic Modeling).

Answer 2

Ecco alcuni link pertinenti:

Solutori logici modali:

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

  Descrizione Rairei logici:

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

    Modellazione epistemica dinamica, menzionata nella risposta del Pal.

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

      Sfortunatamente tutti (AFAIK) funzionano solo in caso di proposizionale (non primo ordine).