InqML workshop

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)