December 2012 

On the invitation of Prof. Marcus Kracht, Prof. Heinrich Wansing gave a talk at the University of Bielefeld. 

November 2012 

Prof. Heinrich Wansing presented an invited talk at the "Avron Fest" in Tel Aviv, Logic: Between Semantics and Proof Theory, see  

October 2012 

Caroline Willkommen successfully defended her PhD thesis "Eine Logik für Handlungen und Überzeugungen" at the Ruhr-University of Bochum, Department of Philosophy II. The referees H.W. and Uwe Scheffler congratulate on her defense.

Verteidigung Willkommen

H.W., Caroline Willkommen, Uwe Scheffler

September  2012

The Workshop" Dag Prawitz on Proofs and Meaning", took place on September the 10th and the 11th. This workshop brought together several contributors to a volume dedicated to Prof. Dag Prawitz. The volume will be editied by Heinrich Wansing and will appear in the new book series "Outstanding Contributions to Logic" published by Springer Verlag.

Prawitz Final

Prof. Heinrich Wansing gave an invited talk at the GAP.8, Workshop "Belief Revision, Conditionals and Possible Worlds Semantics" at the University of Konstanz, see

July 2012

Dr habil. Tomasz Skura (Zielona Gora) took up his two-month Humboldt Research Fellowship and on July 12 presents a talk on "What is a refutation system", see Skura_lecture.pdf.


Andrea Kruse gave a comment titled "Notes on rational 'ought' implies 'can'" at the Summer School in Philosophy with Prof. Ralph Wedgwood at the University of Cologne .

June 2012


From June 3 until June 5 our team hosted the Studia Logica international conference Trends in Logic XI. Advances in Philosophical Logic, see

June 12, Andrea Kruse gave a guest lecture on "Der Begriff der epistemischen Verantwortung und die Möglichkeit rationalen Dissenses" at Dresden University of Technology.

June 26, 2012, guest lecture by Dr Andreas Kapsner (University of Munich - LMU) on "Popper's Logical Discoveries".

May 2012

Prof. Roberto Giuntini (Cagliari) finished his there-month Humboldt research fellowship.

Andrea Kruse attended the 3rd Annual King's College London / University of North Carolina at Chapel Hill Conference 2012 on Social Epistemology and Epistemic Responsibility,

April 2012

April 16, Caroline Semmling gave a talk on "Interactions of actions, intentions and beliefs" at the University of Luxembourg.

On April 19 and 20 our team hosted the First Bochum-Cagliari Workshop on Non-classical Logic. The workshop was organized in close co-operation with Prof. Roberto Giuntini and was generously supported by the Alexander von Humboldt Foundation, see Bochum-Cagliari Workshop.

Prof. Heinrich Wansing presented two invited lectures on Generalized Truth Values at the conference "PhDs in Logic", University of Ghent, April 12 and 13, 2012, see

March 2012

March 6, 2012, guest lecture by Mariana Matulovic da Silva (State University of Campinas UNICAMP, Brazil), "Algebraic Proof Procedures in Non-Classical Logics".


February 2012

February 8, 2012, guest lecture by Mariana Matulovic da Silva (State University of Campinas UNICAMP, Brazil), "A new algebraic proof method for finitely-many-valued logics".

February 27, 2012, guest lecture by Mariana Matulovic da Silva (State University of Campinas UNICAMP, Brazil), "Relationships among the PRC and the algebraic semantics for modal logics".

January 2012

Dr Roberto Ciuni was presented in an article of the RUB newspaper RUBENS, see

January 19, Andrea Kruse gave a talk on "Is rational peer disagreement possible?" at  Research Colloquium: Philosophy meets Cognitive Science. Recent Debates (Ruhr-University),

January 24, Caroline Semmling gave a guest lecture on "Interaktionen von Überzeugungen, Intentionen und Handlungen" at the Goethe-University of Frankfurt.

January 25, Prof. Jean-Yves Béziau (Federal University of Rio de Janeiro - UFRJ, Visiting Professor University of Munich - LMU) gave a lecture on "Truth-values: past, present and future".

January 26, guest lecture by Dr François Schwarzentruber (University of Rennes, France) "Tableau Method and NEXPTIME-Completeness of DEL-Sequents".


H. Wansing and F. Schwarzentruber


R. Ciuni, C. Semmling and A. Kruse