BISIMULATIONS FOR KNOWING HOW LOGICS

被引：6
作者：
Fervari, Raul [1 ,2 ]
Velazquez-Quesada, Fernando R. [3 ]
Wang, Yanjing [4 ,5 ]
机构：
[1] Univ Nacl Cordoba, Fac Matemat Astron Fis & Comp, Medina Allende S-N, Cordoba, Argentina
[2] Consejo Nacl Invest Cient & Tecn, Buenos Aires, DF, Argentina
[3] Univ Amsterdam, Inst Log Language & Computat, POB 94242, NL-1090 GE Amsterdam, Netherlands
[4] Peking Univ, Inst Foreign Philosophy, Beijing, Peoples R China
[5] Peking Univ, Dept Philosophy, Beijing 100871, Peoples R China
来源：
REVIEW OF SYMBOLIC LOGIC | 2022年 / 15卷 / 02期
关键词：
epistemic logic; knowing how; bisimulation;
D O I：
10.1017/S1755020321000101
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
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.
引用
收藏
页码：450 / 486
页数：37
相关论文
共 63 条
[1]  
Agotnes T., 2015, HDB EPISTEMIC LOGIC, P543
[2]   Coalition logic with individual, distributed and common knowledge [J].
Agotnes, Thomas ;
Alechina, Natasha .
JOURNAL OF LOGIC AND COMPUTATION, 2019, 29 (07) :1041-1069
[3]   Alternating-time temporal logic [J].
Alur, R ;
Henzinger, TA ;
Kupferman, O .
JOURNAL OF THE ACM, 2002, 49 (05) :672-713
[4]  
[Anonymous], 2007, P TARK 2007, DOI DOI 10.1145/1324249.1324256
[5]  
[Anonymous], 2007, J APPL NONCLASS LOG, V17, P423, DOI DOI 10.3166/JANCL.17.423-475
[6]  
Areces C, 2009, 21ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-09), PROCEEDINGS, P671
[7]  
Artemov S, 2019, CAMB TRACT MATH, V216, P1, DOI 10.1017/9781108348034
[8]   Neighbourhood Contingency Bisimulation [J].
Bakhtiari, Zeinab ;
van Ditmarsch, Hans ;
Hansen, Helle Hvid .
LOGIC AND ITS APPLICATIONS (ICLA 2017), 2017, 10119 :48-63
[9]   Bisimulation for Conditional Modalities [J].
Baltag, A. ;
Cina, G. .
STUDIA LOGICA, 2018, 106 (01) :1-33
[10]  
Baltag A., 2016, ADV MODAL LOGIC, V11, P135
1234567