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 $\varphi$ given $\psi$ while maintaining $\chi$ in-between. It generalizes the logic of…