Abstract
In this paper, we propose a single-agent logic of
goal-directed knowing how extending the standard
epistemic logic of knowing that with a new knowing how operator. The semantics of the new operator is based on the idea that knowing how to achieve
? means that there exists a (uniform) strategy such
that the agent knows that it can make sure ?. We
give an intuitive axiomatization of our logic and
prove the soundness, completeness and decidability of the logic. The crucial axioms relating knowing that and knowing how illustrate our understanding of knowing how in this setting. This logic can
be used in representing and reasoning about both
knowledge-that and knowledge-how