Krister Segerberg on Logic of Actions - Trypuz, Robert (Springer Netherlands, 2014)