Bisimulations for Knowing How Logics

Review of Symbolic Logic:1-37 (forthcoming)
  Copy   BIBTEX


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.



    Upload a copy of this work     Papers currently archived: 86,168

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Knowing-that, Knowing-how, or Knowing-to?Yong Huang - 2017 - Journal of Philosophical Research 42:65-94.
Bisimulations for temporal logic.Natasha Kurtonina & Maarten de Rijke - 1997 - Journal of Logic, Language and Information 6 (4):403-425.
Failure of Interpolation in Combined Modal Logics.Maarten Marx & Carlos Areces - 1998 - Notre Dame Journal of Formal Logic 39 (2):253-273.
An Analysis of Knowing. [REVIEW]F. T. R. - 1958 - Review of Metaphysics 12 (2):324-324.
A ModalWalk Through Space.Marco Aiello & Johan van Benthem - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):319-363.
Knowing‐Wh and Embedded Questions.Ted Parent - 2014 - Philosophy Compass 9 (2):81-95.
Knowing-that, knowing-how, and knowing philosophically.Stephen Hetherington - 2008 - Grazer Philosophische Studien 77 (1):307-324.
Uniform Lyndon interpolation property in propositional modal logics.Taishi Kurahashi - 2020 - Archive for Mathematical Logic 59 (5-6):659-678.
Advances in the ŁΠ and logics.Petr Cintula - 2003 - Archive for Mathematical Logic 42 (5):449-468.


Added to PP

22 (#580,284)

6 months
6 (#159,710)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Yanjing Wang
Peking University

Citations of this work

Planning-based knowing how: A unified approach.Yanjun Li & Yanjing Wang - 2021 - Artificial Intelligence 296 (C):103487.
Data-informed knowledge and strategies.Junli Jiang & Pavel Naumov - 2022 - Artificial Intelligence 309 (C):103727.

Add more citations

References found in this work

No references found.

Add more references