A logic of situated know-how . This connection to other theories is reason to be reassured that this theory is not ad hoc, and will coherently fit in a bigger picture. I briefly describe that theory, and then turn to the formal model. A logic of situated know-how . Intuitively For concepts such as intention, commitment and expected utility to even be formalized, we need a formal model that includes not just time and action, but also possibility, probability and choice.
B assigns basic actions to the agents at different worlds and times.
A logic of situated know-how . A logic of situated know-how .