Tableaux for the Logic of Strategically Knowing How

Epistemic logic proposed by von Wright and Hintikka (see [24, 11]) is a logical formalism for reasoning about knowledge of agents. It deals with propositional knowledge, that is, the knowledge expressed as knowing that ϕ is true. In recent years, other patterns of knowledge besides knowing that are attracting increasing attention in logic community, such as knowing whether [8, 4], knowing who [3], knowing the value [2, 6], and knowing why [28] (see a survey in [27]). Motivated by different scenarios in philosophy and AI, reasoning about knowing how assertions are particularly interesting [23]. The discussion about formalizing the notion of knowing how can date back to [16, 17]. Currently, there are two main approaches of formalizing knowing how. One of them is connecting knowing how with logics of knowing that and ability (see e.g.