23 citations · 43 across the 5 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023★ 1 cited
Tableaux for the Logic of Strategically Knowing How
Yanjun Li
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…
cs.LO2016★ 23 cited
Achieving while maintaining: A logic of knowing how with intermediate constraints
Yanjun Li, Yanjing Wang
In this paper, we propose a ternary knowing how operator to express that the agent knows how to achieve given while maintaining in-between. It generalizes the logic of…