Krister Segerberg on Logic of Actions - Trypuz, Robert ((Outstanding Contributions to Logic ;)