Yanjun Li. Tableau-Based Decision Procedure for Logic of Knowing-How via Simple Plans. In Pietro Baroni, Christoph Benzmüller, Yì N. Wáng, editors, Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings. Volume 13040 of Lecture Notes in Computer Science, pages 266-283, Springer, 2021. [doi]
Abstract is missing.