Knowing How to Plan

Standard Epistemic Logic (EL) mainly studies reasoning patterns of knowing that ϕ, despite early contributions by Hintikka on formulating other know-wh expressions such as knowing who and why using first-order and higher-order modal logic. In recent years, there is a resurgence of interest on epistemic logics of know-wh powered by the new techniques for fragments of firstorder modal logic based on the so-called bundle modalities packing a quantifier and a normal epistemic modality together [26, 24, 21]. Within the varieties of logics of know-wh, the logics of know-how received the most attention in AI (cf.