Proof, Computation and Agency Logic at the Crossroads - van Benthem, Johan; Gupta, Amitabha; Parikh, Rohit (Springer Netherlands : Imprint: Springer, 2011)