Tableaux for a combination of propositional dynamic logic and epistemic logic with interactions*
Yanjun Li · Journal of Logic and Computation · 2017
Epistemic propositional dynamic logic (EPDL) is a combination of epistemic logic and propositional dynamic logic. Two properties, perfect recall and no miracles, capture the interactions between actions and knowledge. In this article, we present a tableau-based decision procedure for deciding the satisfiability of single-agent EPDL formula in models with perfect recall and no miracles.