Solucionadores para lógicas epistêmicas modais

Question

Existe algum solucionador (smt-like) para lógicas epistêmicas modais (aka lógica do conhecimento)?

Eu preciso de primeiro pedido (não apenas proposicional).

Answer 1

Você pode experimentar a demonstração do verificador de modelo (modelagem epistêmica dinâmica).

Answer 2

Aqui estão alguns links relevantes:

soluções lógicas modais:

• http://www.cs.man.ac.uk/~schmidt / ferramentas /
• http://www.irit.fr/lotrec/
• http://twan.home.fmf.nl/moltap/index.html < / a>
• http://www2.tcs.ifi.lmu .de / ~ MLANGE / Papel / M4M-6.PDF

  Descrição Logic Racalters:

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

    Modelagem epistêmica dinâmica, mencionada na resposta do PAL.

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

      Infelizmente todos eles (afaik) funcionam apenas em caso proposicional (não primeira ordem).