mlsanityData to 14 Oct 2026

Tableaux for the Logic of Strategically Knowing How

arXiv 2307.05066 ↗First posted 11 Jul 2023cs.LO cs.AIcited by 0

Not on the map. Why?

Abstract (arXiv)

The logic of goal-directed knowing-how 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 p. 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.

Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 9 of its 27 references that are in the map. First posted on arXiv 11 Jul 2023.

Builds on

9 of 27 references.

References · 9

  1. 2017Together We Know How to Achieve: An Epistemic Logic of Know-Howcited by 8
  2. 2016Beyond knowing that: a new generation of epistemic logicscited by 7
  3. 2017Strategically knowing howcited by 6
  4. 2017Strategic Coalitions with Perfect Recallcited by 5
  5. 2015A Logic of Knowing Howcited by 4
  6. 2016A Logic of Knowing Whycited by 3
  7. 2020Epistemic Logic of Know-Whocited by 2
  8. 2016"Knowing value" logic as a normal modal logiccited by 1
  9. 2021Uncertainty-Based Semantics for Multi-Agent Knowing How Logicscited by 1

Built on by

Not cited yet.