Tableaux for the Logic of Strategically Knowing How
Logic in Computer Science
2023-07-12 v1 Artificial Intelligence
Abstract
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.
Keywords
Cite
@article{arxiv.2307.05066,
title = {Tableaux for the Logic of Strategically Knowing How},
author = {Yanjun Li},
journal= {arXiv preprint arXiv:2307.05066},
year = {2023}
}
Comments
In Proceedings TARK 2023, arXiv:2307.04005