Li, Yanjun and Wang, Yanjing
In Proceedings of International Conference on Logic and its Applications (ICLA) 2017, 2017
Publication year: 2017

Abstract: In this paper, we propose a ternary knowing how operator to express that the agent knows how to achieve $\phi$ given $\psi$ while maintaining $\chi$ in-between. It generalizes the logic of goal-directed knowing how proposed by Wang in [10]. We give a sound and complete axiomatization of this logic.