Recent Developments
in Modal Logic
- Time: 11:30-12:10, 13:20-18:00, May 25th, 2026
- Venue: Room 329, School of Humanities, Tsinghua University.
Programme
| 11:30–12:10 |
Nick Bezhanishvili (University of Amsterdam)
Interpolation and Amalgamation in Extensions of S5 x S5 and Intuitionistic Modal Logic
|
| 12:10–13:20 |
Lunch Break
|
| 13:20–14:00 |
Jeremy Seligman (University of Auckland)
Situation Trees and Local Constraints Toward a Situation-Theoretic Modal Semantics
|
| 14:00–14:40 |
Yì N. Wáng (Shandong University)
Modal Logic of n-state Frames
|
| 14:40–15:00 |
Coffee Break
|
| 15:00–15:40 |
Xiaoxuan Fu (China University of Political Science and Law)
From Preference Structures to Modal Logic with Counting
|
| 15:40–16:20 |
Junhua Yu (Tsinghua University)
Intuitionistic Epistemic Logic with Diamond in Kojima’s Neighborhood Semantics
|
| 16:20–16:40 |
Coffee Break
|
| 16:40–17:20 |
Chenwei Shi (Tsinghua University)
Modal Logic of ∀∃ Relation Lifting and Conditionals
|
| 17:20–18:00 |
Balder ten Cate (University of Amsterdam)
Craig Interpolation within the Landscape of Decidable Fragments of First-order Logic
|