Logic@GU
Toggle navigation
People
Seminars
(current)
Master in Logic
Lindström Lectures
Other
Nordic Online Logic Seminar
Activities & Events
Resources
Craig interpolation for (finitary) fragments of Geometric Logic
Ivan Di Liberti, Gothenburg University
Friday, 23 January 2026 at 10:15
Humanisten, J411 ·
Research Seminar