Solvers for modal epistemic logics
-
11-12-2019 - |
Question
Is there any (SMT-like) solvers for modal epistemic logics (aka logic of knowledge)?
I need First Order (not just propositional) case.
Solution
You can try the model checker DEMO (Dynamic Epistemic MOdelling).
OTHER TIPS
Here are some relevant links:
Modal logic solvers:
- http://www.cs.man.ac.uk/~schmidt/tools/
- http://www.irit.fr/Lotrec/
- http://twan.home.fmf.nl/moltap/index.html
- http://www2.tcs.ifi.lmu.de/~mlange/papers/m4m-6.pdf
Description logic reasoners:
Dynamic Epistemic Modelling, mentioned in Pal's answer.
Unfortunately all of them (AFAIK) work only in propositional (not first order) case.
Licensed under: CC-BY-SA with attribution
Not affiliated with StackOverflow