Connecting Logics of Choice and Change
Johan van Benthem, Eric Pacuit

Abstract:
We compare STIT-type logics of deliberate action as proposed by Belnap
and Horty with dynamic logics of action. We show how to merge the two
perspectives, by focusing on the notion of 'control', and present
examples in dynamic logics of matrix games, and a new
dynamic-epistemic logic with agent control added.