| |
Monday 25 September |
| 8:30--9:30 |
Registration |
| 9:30--9:40 |
Opening |
| 9:40--10:40 |
Invited Speaker
Renate Schmidt: Developing Modal Tableaux and Resolution
Methods via First-Order Resolution |
| 10:40--11:00 |
Coffee/Tea |
| 11:00--12:20 |
Session 1
A General Semantics for Quantified Modal Logic by
Robert Goldblatt and Edwin Mares
Quantification over names and modalities by
Eric Martin |
| 12:20--14:00 |
Lunch |
| 14:00--16:00 |
Session 2
Weaker-to-Stronger Translational Embeddings in Modal
Logic by Lloyd Humberstone
Bisimulation quantified logics: decidability by
Tim French
A Kripke-Joyal Semantics for Noncommutative Logic in
Quantales by Robert Goldblatt |
| 16:00--16:30 |
Coffee/Tea |
| 16:30--17:30 |
AiML Steering Committee Meeting |
| 19:00 |
Welcome Reception |
| |
Tuesday 26 September |
| 8:30--9:30 |
Invited Speaker
Alberto Zanardo: Choices and Indistinguishable
Histories in Branching-Time Logics |
| 9:30--10:10 |
Session 3
Conservative Extensions in Modal Logic by Silvio
Ghilardi, Carsten Lutz, Frank Wolter and Michael
Zakharyaschev |
| 10:10--10:30 |
Coffee/Tea |
| 10:30--12:30 |
Session 4
Deep Sequent Systems for Modal Logic by Kai Brünnler
Terminating modal tableaux with simple completeness proof by
Gasquet Olivier, Andreas Herzig and Mohamad Saade
Tableaux for multi-agent deliberative-stit logic by Heinrich
Wansing |
| 12:30--14:00 |
Lunch |
| 14:00--15:20 |
Session 5
Dynamic topological logics over spaces with continuous
functions by Boris Konev, Roman Kontchakov, Frank
Wolter and Michael Zakharyaschev
A decidable modal logic that is finitely undecidable
by Igor Gorbunov |
| 15:20--15:50 |
Coffee/Tea |
| 15:50--17:10 |
Session 6
ML is not finitely axiomatizable over Cheq by Gaelle Fontaine
The variety of modal FLew-algebras is generated by its
finite simple members by Hiroki Takamura |
| |
Wednesday 27 September |
| 8:30--9:30 |
Invited Speaker
Igor Waluckiewicz: Fixpoint hierarchies |
| 9:30--10:10 |
Session 7
Complexity of intuitionistic and Visser's basic logic in
finitely many variables by Mikhail Rybakov |
| 10:10--10:30 |
Coffee/Tea |
| 10:30--12:30 |
Session 8
An expressive two-sorted spatial logic for plane projective
geometry by Philippe Balbiani
Regarding Overlaps in `Topologic' by Bernhard Heinemann
From topology to metric: modal logic and quantification in metric
spaces by From topology to metric: modal logic and
quantification in metric spaces |
| 12:30--14:00 |
Lunch |
| 14:00--15:20 |
Session 9
Modality, Paraconsistency and Paracompleteness by Ricardo
Silvestre
On Modal Logic, IF Logic and IF Modal Logic byTero
Tulenheimo and Merlijn Sevenster |
| 15:20--15:50 |
Coffee/Tea |
| 15:50--17:10 |
Session 10
Topological Modal Logics with Difference Modality
by Andrey Kudinov
Downward-directed transitive frames with universal
relations by Ilya Shapirovsky |
| 19:00 |
Conference Dinner |
| |
Thursday 28 September |
| 8:30--9:30 |
Invited Speaker
Valentin Shehtman: Completeness and
Incompleteness in First-order Modal Logic: An Overview |
| 9:30--10:10 |
Session 11
The Tree of Knowledge in Action: Towards a Common
Perspective by ohan van Benthem and Eric Pacuit |
| 10:10--10:30 |
Coffee/Tea |
| 10:30--12:30 |
Session 12
On some modal logics related to McKinsey axiom by
Philippe Balbiani, Valentin Shehtman and Ilya
Shapirovsky
Truth About Algorithmic Problems in Correspondence Theory
by Alexander and Lydia Chagrov
On The Gargov-Goranko Translation by Tadeusz Litak |
| 12:30--14:00 |
Lunch |
| 14:00--15:20 |
Session 13
Logics with an existential modality by Natasha Alechina and
Dmitry Shkatov
On the Deterministic Horn Fragment of Test-free PDL by Linh
Anh Nguyen |
| 15:20--15:50 |
Coffee/Tea |
| 15:50 |
Closing |
