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

arXiv: https://arxiv.org/abs/1610.05064 · HTML: https://mlsanity.com/paper/1610.05064/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 17 Oct 2016.

## Built on by (most cited first, 1 of 1)

- [Shhh! The Logic of Clandestine Operations](https://mlsanity.com/paper/2305.07035/) (2023)

## Abstract (arXiv)

In this paper, we propose a ternary knowing how operator to express that the agent knows how to achieve φ 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.