No title
Day 1 (1/12) 10.00 - 11.00 Patrick Blackburn: Formalization and modal logic 11.15 - 12.15 Klaus Frovin Jorgensen: Indexicals within Hybrid Logic 12.15 - 14.00 LUNCH 14.00 - 15.00 Sten Lindström: Formalization, informal rigor and mathematical truth 15.00 - 16.00 Justine Jacot: Game theory and linguistic interpretation 16.15 - 17.15 Valentin Goranko: Formalizing strategic reasoning Day 2 (2/12) 9.00
https://www.fil.lu.se/fileadmin/_migrated/content_uploads/schedule_04.pdf - 2025-12-22
