In this work, the authors construct a logical analysis of human actions, focusing on those actions based on choice. Using their examination of seeing to it that... » 

In this work, the authors construct a logical analysis of human actions, focusing on those actions based on choice. Using their examination of seeing to it that, they investigate a large number of topics, including imperatives, deontic logic, strategies, determinism, and promising assertion. «