Solvers for modal epistemic logics

Question

Is there any (SMT-like) solvers for modal epistemic logics (aka logic of knowledge)?

I need First Order (not just propositional) case.

score 3 · Answer 1 · answered Aug 03 '12 at 09:53

3

You can try the model checker DEMO (Dynamic Epistemic MOdelling).

answered Aug 03 '12 at 09:53

Pål GD

score 2 · Accepted Answer · answered Feb 26 '13 at 13:42

Here are some relevant links:

Modal logic solvers:

Description logic reasoners:

Dynamic Epistemic Modelling, mentioned in Pal's answer.

Unfortunately all of them (AFAIK) work only in propositional (not first order) case.

2 Answers2