Welcome to the webpages of the Logic Group at the Institute of Computer Science of the Czech Academy of Sciences. The group is part of the Department of Theoretical Computer Science at the ICS.

---

News

• The Seminar on Applied Mathematical Logic will resume after the summer break in September 2020.
• We're hiring! Consult the ICS Postdoctoral Fellowship call. Deadline: 30 June.

---

Upcoming events

• DaLí 2020, 9-10 October, Prague. Extended deadline: 10 July.

---

Recent publications

• I. Sedlár: Finitely-valued propositional dynamic logics. Forthcoming in Advances in Modal Logic 13.
• I. Sedlár and A. Tedder: Lambek calculus with conjugates. Forthcoming in Studia Logica.
• G. Badia, P. Cintula, P. Hájek, and A. Tedder: How much propositional logic suffices for Rosser's undecidability theorem? Forthcoming in the Review of Symbolic Logic.
• G. Paterson, D.W. Ripley, and A. Tedder: Qua solution, 0-Qua has problems. Forthcoming in the Journal of Analytic Theology.