2021
DOI: 10.1017/s1755020321000101
|View full text |Cite
|
Sign up to set email alerts
|

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.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
1
0

Year Published

2021
2021
2024
2024

Publication Types

Select...
4
3

Relationship

0
7

Authors

Journals

citations
Cited by 9 publications
(2 citation statements)
references
References 45 publications
(82 reference statements)
0
1
0
Order By: Relevance
“…The representations for observations, actions, or underlying messages are widely studied in MARL. Some works [3,8] use bisimulation metrics to extract the latent embeddings from observations. [19,1,31,30] attempt to learn action representations to assist multi-agent policy learning.…”
Section: Related Workmentioning
confidence: 99%
“…The representations for observations, actions, or underlying messages are widely studied in MARL. Some works [3,8] use bisimulation metrics to extract the latent embeddings from observations. [19,1,31,30] attempt to learn action representations to assist multi-agent policy learning.…”
Section: Related Workmentioning
confidence: 99%
“…Of course, for the Patriot to know that it has a strategy is not the same as to know what the strategy is. The distinction between "knowing that a strategy exists" and "knowing what the strategy is", in the case of the traditional (indistinguishability-relation-based) knowledge, has been studied in various logics of know-how strategies ( Ågotnes and Alechina 2019;Naumov and Tao 2017;Fervari et al 2017;Naumov and Tao 2018c,b,a;Fervari, Velázquez-Quesada, and Wang 2021;Li and Wang 2021).…”
Section: Introductionmentioning
confidence: 99%