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 条
  • [11] 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
  • [12] Simulations and bisimulations for fuzzy multimodal logics over Heyting algebras
    Stankovic, Marko
    Ciric, Miroslav
    Ignjatovic, Jelena
    FILOMAT, 2023, 37 (03) : 711 - 743
  • [13] Fuzzy Bisimulations in Fuzzy Description Logics Under the Godel Semantics
    Quang-Thuy Ha
    Linh Anh Nguyen
    Thi Hong Khanh Nguyen
    Thanh-Luong Tran
    ROUGH SETS, IJCRS 2018, 2018, 11103 : 559 - 571
  • [14] Minimizing fuzzy interpretations in fuzzy description logics by using crisp bisimulations
    Nguyen, Linh Anh
    FUZZY SETS AND SYSTEMS, 2024, 481
  • [15] Knowing How, Knowing That, Knowing Technology
    Norström P.
    Philosophy & Technology, 2015, 28 (4) : 553 - 565
  • [16] Bisimulations for Fuzzy Description Logics with Involutive Negation Under the Godel Semantics
    Linh Anh Nguyen
    Ngoc Thanh Nguyen
    COMPUTATIONAL COLLECTIVE INTELLIGENCE, PT I, 2019, 11683 : 16 - 30
  • [17] Knowing That, Knowing How, and Knowing to Do
    Tang Refeng
    FRONTIERS OF PHILOSOPHY IN CHINA, 2011, 6 (03) : 426 - 442
  • [18] ON KNOWING HOW AND KNOWING THAT - DISCUSSION
    ROLAND, J
    PHILOSOPHICAL REVIEW, 1958, 67 (03): : 379 - 388
  • [19] IS KNOWING THAT REDUCIBLE TO KNOWING HOW
    DUCASSE, CJ
    JOURNAL OF PHILOSOPHY, 1961, 58 (22): : 696 - 696
  • [20] Knowing how and knowing why
    Scherer, M
    EDUCATIONAL LEADERSHIP, 1999, 56 (08) : 7 - 7
12345