Solucionadores para lógicas epistémicas modales.
-
11-12-2019 - |
Pregunta
¿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).
Solución
Puede probar la demostración del cuadro de modelo (modelado epistémico dinámico).
Otros consejos
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).
- http://homepages.cwi.nl/~jve/demo/demo. pdf
- http://www.cs.man.ac.uk/~ Sattler / razonadores.html
Licenciado bajo: CC-BY-SA con atribución
No afiliado a StackOverflow