no code implementations • 15 May 2017 • Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang
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.