Roberto Ciuni is Humboldt Postdoctoral Researcher at the Ruhr University Bochum, where he carries his project, ‘A Tempo-Modal STIT Logic for Responsibility Attribution in Many-Step Action.’ His main areas of research are: Logics of Agency (especially STIT), Logics of Rational Interaction, Branching-Time Logics. Among his recent achievements, there is a paper on tempo-modal STIT in Studia Logica 96/3, coauthored with Alberto Zanardo.Roberto Ciuni Heinrich Wansing is Professor of Logic and Epistemology at Ruhr University Bochum. His main areas of research are: Non-Classical Logics, Modal Logic, Proof Theory and Epistemology.Caroline Willkommen was a Postdoctoral Fellow at the Ruhr University Bochum. Her main area of research is in the Logics of Agency, particularly BDI and STIT.