Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

BISIMULATIONS FOR KNOWING HOW LOGICS

BISIMULATIONS FOR KNOWING HOW LOGICS Abstract As a new type of epistemic logics, the logics of knowing how capture 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 five knowing how logics based on different notions of plans. As an application, we study and compare the expressive power of these logics. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Review of Symbolic Logic Cambridge University Press

BISIMULATIONS FOR KNOWING HOW LOGICS

BISIMULATIONS FOR KNOWING HOW LOGICS

Review of Symbolic Logic , Volume 15 (2): 37 – Jun 1, 2022

Abstract

Abstract As a new type of epistemic logics, the logics of knowing how capture 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 five knowing how logics based on different notions of plans. As an application, we study and compare the expressive power of these logics.

Loading next page...
 
/lp/cambridge-university-press/bisimulations-for-knowing-how-logics-IDMJd05xBW
Publisher
Cambridge University Press
Copyright
© The Author(s), 2021. Published by Cambridge University Press on behalf of The Association for Symbolic Logic
ISSN
1755-0211
eISSN
1755-0203
DOI
10.1017/S1755020321000101
Publisher site
See Article on Publisher Site

Abstract

Abstract As a new type of epistemic logics, the logics of knowing how capture 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 five knowing how logics based on different notions of plans. As an application, we study and compare the expressive power of these logics.

Journal

Review of Symbolic LogicCambridge University Press

Published: Jun 1, 2022

Keywords: 03B42; 03B45; 03B70; 68T27; 68Q85; epistemic logic; knowing how; bisimulation

References