Tableaux for the Logic of Strategically Knowing How

被引：2
|
作者：
Li, Yanjun [1 ]
机构：
[1] Nankai Univ, Coll Philosophy, Tianjin, Peoples R China
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2023年 / 379期
关键词：
D O I：
10.4204/EPTCS.379.30
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The logic of goal-directed knowing how proposed in [5] extends the standard epistemic logic with an operator of knowing how. The knowing how operator is interpreted as that there exists a strategy such that the agent knows that the strategy can make sure that phi. This paper presents a tableau procedure for the multi-agent version of the logic of strategically knowing how and shows the soundness and completeness of this tableau procedure. This paper also shows that the satisfiability problem of the logic can be decided in PSPACE.
引用
收藏
页码：379 / 391
页数：13
相关论文
共 50 条
  • [1] Strategically Knowing How
    Fervari, Raul
    Herzig, Andreas
    Li, Yanjun
    Wang, Yanjing
    PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 1031 - 1038
  • [2] A Logic of Knowing How
    Wang, Yanjing
    LOGIC, RATIONALITY, AND INTERACTION (LORI 2015), 2015, 9394 : 392 - 405
  • [3] LOGIC OF KNOWING HOW AND ABILITY
    CARR, D
    MIND, 1979, 88 (351) : 394 - 409
  • [4] Inquisitive logic as an epistemic logic of knowing how
    Wang, Haoyu
    Wang, Yanjing
    Wang, Yunsong
    ANNALS OF PURE AND APPLIED LOGIC, 2022, 173 (10)
  • [5] Neighborhood semantics for logic of knowing how
    Yanjun Li
    Yanjing Wang
    Synthese, 2021, 199 : 8611 - 8639
  • [6] Neighborhood semantics for logic of knowing how
    Li, Yanjun
    Wang, Yanjing
    SYNTHESE, 2021, 199 (3-4) : 8611 - 8639
  • [7] A logic of goal-directed knowing how
    Yanjing Wang
    Synthese, 2018, 195 : 4419 - 4439
  • [8] Uncertainty-based knowing how logic
    Areces, Carlos
    Fervari, Raul
    Saravia, Andres R.
    Velazquez-Quesada, Fernando R.
    JOURNAL OF LOGIC AND COMPUTATION, 2023,
  • [9] A logic of goal-directed knowing how
    Wang, Yanjing
    SYNTHESE, 2018, 195 (10) : 4419 - 4439
  • [10] TABLEAUX FOR LOGIC PROGRAMMING
    FITTING, M
    JOURNAL OF AUTOMATED REASONING, 1994, 13 (02) : 175 - 188
12345