TY - RPRT TI - Tableaux for the Logic of Strategically Knowing How AU - Yanjun Li PY - 2023 DO - 10.4204/eptcs.379.30 UR - https://arxiv.org/abs/2307.05066 ID - 2307.05066 ER -