Solucionadores para lógicas epistémicas modales.

Question

¿Hay algún solvidor (similar a SMT) para las lógicas epistémicas modales (también conocido como lógica del conocimiento)?

Necesito un caso de primer orden (no solo proposicional).

Answer 1

Puede probar la demostración del cuadro de modelo (modelado epistémico dinámico).

Answer 2

Aquí hay algunos enlaces relevantes:

Soluciones lógicas modales:

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

  Descripción Lógica Razones:

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

    Modelado epistémico dinámico, mencionado en la respuesta de PAL.

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

      Lamentablemente, todos ellos (AFAIK) trabajan solo en caso proposicional (no de primer orden).