Please note that this newsitem has been archived, and may contain outdated information or links.
7 May 2025, Joint LLAMA/LIRa double session, Katsuhiko Sano, Alexander Kurz
Speaker: Katsuhiko Sano (Hokkaido University), Alexander Kurz (Chapman University)
Title: Craig Interpolation for Bi-intuitionistic Stable Tense Logic / Quantale-Valued Modal Logic
Date: Wednesday 7 May 2025
Time: 15:00-18:00
Location: ILLC Seminar Room F1.15, Science Park 107 and online.
For more information, see
https://projects.illc.uva.nl/lgc/seminar/2025/01/joint-llama-lira-session-alexander-kurz/.
Please note that this newsitem has been archived, and may contain outdated information or links.