First workshop on Inquisitive Modal Logic and related topics
Description Inquisitive modal logic is a generalization of standard modal logic based on inquisitive semantics, where modal operators can be applied not just to statements but also to questions. The workshop will gather researchers working on inquisitive modal logic and related topics, including other state-based modal logics, in order to foster the dissemination of results and the mutual exchange of ideas. The workshop is funded by the Italian Ministry of University and Research through the Levi Montalcini project “New horizons for modal logic”.
Date and venue 22-23 February 2024. Palazzo del Capitanio, Aula Seminari.
Piazza Capitaniato 3, Padova
Zoom link
It is possible to follow the talks online at this link.
Speakers Maria Aloni (University of Amsterdam)
Aleksi Anttila (University of Amsterdam)
Ivano Ciardelli (University of Padova)
Valentin Goranko (University of Stockholm)
Mathilda Häggblom (University of Helsinki)
Stipe Maric (University of Split)
Valentin Müller (University of Amsterdam)
Karl Nygren (University of Stockholm)
Adrian Ommundsen (UC Berkeley)
Vit Punčochár (Czech Academy of Sciences)
Davide Emilio Quadrellaro (University of Helsinki)
Fan Yang (University of Utrecht)
Program
Thursday 22.02 09:30-09:40 Welcome 09:40-10:30
Vit Puncochár, A modal approach to informative presupposition (slides) 10:40-11:30
Karl Nygren, Conditional inquisitive logic (slides) 11:40-12:30
Fan Yang, Generalizing propositional team semantics
12:30-14:30 lunch break
14:30-15:20
Ivano Ciardelli, Inquisitive neighborhood logic (slides) 15:30-16:20
Stipe Maric,
Finite model property & decidability of inquisitive modal logic (slides) 16:30-17:20
Adrian Ommundsen (online), Mattering and modalities of dependence
Friday 23.02 09:30-10:20
Maria Aloni, Adding questions to BSML (slides) 10:30-11:20
Matilda Häggblom,
Axiomatizing modal inclusion logic and its variants (slides) 11:30-12:20
Aleksi Anttila, State-based modal logics for free-choice (slides)
12:20-14:10 lunch break
14:10-15:00
Valentin Müller, A normalization theorem for inquisitive logic (slides) 15:10-16:00 Davide Quadrellaro, An algebraic perspective on inquisitive logic (slides) 16:10-17:00
Valentin Goranko (online),
Logic for strategic reasoning of socially cooperative rational agents (slides)