[ABSTRACT] In this paper, we propose a single-agent modal logic framework for reasoning about goal-direct "knowing how" based on ideas from linguist...

[ABSTRACT] Epistemic propositional dynamic logic (EPDL) is a combination of epistemic logic and propositional dynamic logic. The properties, perfect recall an...