BISIMULATIONS FOR KNOWING HOW LOGICS

被引：5

作者：

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

共 50 条

[1] On bisimulations for description logics
Divroodi, Ali Rezaei
Linh Anh Nguyen
INFORMATION SCIENCES, 2015, 295 : 465 - 493
[2] BISIMULATIONS FOR INTUITIONISTIC TEMPORAL LOGICS
Balbiani, Philippe
Boudou, Joseph
Dieguez, Martin
Fernandez-Duque, David
JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2021, 8 (08): : 2265 - 2285
[3] Bisimulations for intuitionistic temporal logics
Balbiani, Philippe
Boudou, Joseph
Diéguez, Martín
Fernández-Duque, David
Journal of Applied Logics, 2021, 8 (08): : 2265 - 2285
[4] Topological semantics and bisimulations for intuitionistic modal logics and their classical companion logics
Davoren, J. M.
Logical Foundations of Computer Science, Proceedings, 2007, 4514 : 162 - 179
[5] FINITARY LOGICS FOR SOME CCS OBSERVATIONAL BISIMULATIONS
MOWBRAY, M
INFORMATION PROCESSING LETTERS, 1992, 42 (03) : 161 - 165
[6] Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification
Belardinelli, Francesco
Dima, Catalin
Murano, Aniello
SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2018, : 425 - 434
[7] On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations
Davoren, J. M.
ANNALS OF PURE AND APPLIED LOGIC, 2009, 161 (03) : 349 - 367
[8] Bisimulations, logics, and trace distributions for stochastic systems with rewards
Gburek, Daniel
Baier, Christel
HSCC 2018: PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS WEEK), 2018, : 31 - 40
[9] Logical Characterizations of Crisp Bisimulations in Fuzzy Description Logics
Nguyen, Linh Anh
Nguyen, Ngoc Thanh
IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2023, 31 (04) : 1294 - 1304
[10] Uncertainty-Based Semantics for Multi-Agent Knowing How Logics
Areces, Carlos
Fervari, Raul
Saravia, Andres R.
Velazquez-Quesada, Fernando R.
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (335): : 23 - 37

← 1 2 3 4 5 →