BISIMULATIONS FOR KNOWING HOW LOGICS
Raul Fervari, Fernando R. Velázquez–Quesada, Yanjing Wang · The Review of Symbolic Logic · 2021
Abstract As a new type of epistemic logics, thelogics of knowing howcapture the high-level epistemic reasoning about the knowledge of various plans to achieve certain goals. Existing work on these logics focuses on axiomatizations; this paper makes the first study of their model theoretical properties. It does so by introducing suitable notions of bisimulation for a family of fiveknowing howlogics based on different notions of plans. As an application, we study and compare the expressive power of these logics.