Beschreibung
Autorenporträt
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.
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
