Proof, Computation and Agency Logic at the Crossroads (Springer Netherlands, 2011)