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

- Upcoming talks in the Seminar on Applied Mathematical Logic (* Bern-Prague joint seminar):
**20 Oct**David Fernández Duque (ICS CAS and Ghent University): Decidability of some intuitionistic and Gödel modal logics with transitivity**27 Oct**Sara Ayhan (Ruhr University Bochum): Reduction procedures and the meaning of proofs**3 Nov**Kentaro Yamamoto (ICS CAS): The automorphism groups of ultrahomogeneous lattices

### Recent publications

- 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*. *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. Paterson, D.W. Ripley, and
*A. Tedder*: Qua solution, 0-Qua has problems. Forthcoming in the*Journal of Analytic Theology*. *M. Bílková*and A. Colacito: Proof theory for positive logic with weak negation.*Studia Logica*108, 649-686, 2020.*P. Cintula*, J. Gil Férez,*T. Moraschini*, F. Paoli: An abstract approach to consequence relations.*The Review of Symbolic Logic*12(2), 331-371, 2019.*P. Cintula*, D. Diaconecsu, G. Metcalfe: Skolemization and Herbrand theorems for lattice-valued logics.*Theoretical Computer Science*768, 54–75, 2019.*Z. Haniková*: Implicit definability of truth constants in Łukasiewicz logic.*Soft Computing*23, 2279-2287, 2019.