[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] When reasoning about knowledge of procedures under imperfect information, the explicit representation of epistemic possibilities blows up the S5lik...