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 条
  • [31] Knowing That, Knowing How, and Knowing to Do
    Tang Refeng
    FRONTIERS OF PHILOSOPHY IN CHINA, 2011, 6 (03) : 426 - 442
  • [32] Tableaux and Resource Graphs for Separation Logic
    Galmiche, Didier
    Mery, Daniel
    JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (01) : 189 - 231
  • [33] Tableaux for logic programming with strong negation
    Akama, S
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1997, 1227 : 31 - 42
  • [34] Tableaux for constructive concurrent dynamic logic
    Wijesekera, D
    Nerode, A
    ANNALS OF PURE AND APPLIED LOGIC, 2005, 135 (1-3) : 1 - 72
  • [35] Simplified Tableaux for STIT Imagination Logic
    Olkhovikov, Grigory K.
    Wansing, Heinrich
    JOURNAL OF PHILOSOPHICAL LOGIC, 2019, 48 (06) : 981 - 1001
  • [36] Graded tableaux for Rational Pavelka Logic
    Di Lascio, L
    Gisolfi, A
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2005, 20 (12) : 1273 - 1285
  • [37] THE LOGIC OF KNOWING JONES
    HARTLANDSWANN, J
    PHILOSOPHICAL STUDIES, 1957, 8 (1-2) : 1 - 7
  • [38] Tableaux for a combination of propositional dynamic logic and epistemic logic with interactions
    Li, Yanjun
    JOURNAL OF LOGIC AND COMPUTATION, 2018, 28 (02) : 451 - 473
  • [39] A logic of knowing why
    Xu, Chao
    Wang, Yanjing
    Studer, Thomas
    SYNTHESE, 2021, 198 (02) : 1259 - 1285
  • [40] A logic of knowing why
    Chao Xu
    Yanjing Wang
    Thomas Studer
    Synthese, 2021, 198 : 1259 - 1285
12345