Tanner Philosophy Library, 28 Nov 2016 In this paper, we propose a decidable single-agent modal logic for reasoning about goal-directed “knowing how”, based on ideas…