Krister Segerberg on Logic of Actions (Outstanding Contributions to Logic)