Achieving while maintaining: A logic of knowing how with intermediate constraints

Abstract

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 goal-directed knowing how proposed by Yanjing Wang 2015 'A logic of knowing how'. We give a sound and complete axiomatization of this logic.

appear in Proceedings of ICLA 2017

References in corpus (1)

• A Dynamic Epistemic Framework for Conformant Planning

Cited by in corpus (3)

• A New Modal Framework for Epistemic Logic
• Strategically knowing how
• Navigability with Imperfect Information