Monday, September 25

8:30-9:30

Registration

9:30-9:40

Opening

9:40-10:40

Invited Talk

9:40

Developing Modal Tableaux and Resolution Methods via First-Order Resolution
Invited Speaker: Renate Schmidt

10:40-11:00

Coffee/Tea

11:00-12:20

Session 1

11:00

A General Semantics for Quantified Modal Logic
Robert Goldblatt and Edwin Mares

11:40

Quantification over names and modalities
Eric Martin

12:20-14:00

Lunch

14:00-16:00

Session 2

14:00

Weaker-to-Stronger Translational Embeddings in Modal Logic
Lloyd Humberstone

14:40

Bisimulation quantified logics: decidability
Tim French

15:20

A Kripke-Joyal Semantics for Noncommutative Logic in Quantales
Robert Goldblatt

16:00-16:30

Coffee/Tea

16:00-17:30

AiML Steering Committee Meeting

19:00

Welcome Reception

Tuesday, September 26

8:30-9:30

Invited Talk

8:30

Choices and Indistinguishable Histories in Branching-Time Temporal Logic
Invited Speaker: Alberto Zanardo

9:30-10:10

Session 3

11:00

Conservative Extensions in Modal Logic
Silvio Ghilardi, Carsten Lutz, Frank Wolter and Michael Zakharyaschev

10:10-10:30

Coffee/Tea

10:30-12:30

Session 4

11:00

Deep Sequent Systems for Modal Logic
Kai Brünnler

11:30

terminating modal tableaux with simple completeness proof
Gasquet Olivier, Andreas Herzig and Mohamad Saade

12:00

Tableaux for multi-agent deliberative-stit logic
Heinrich Wansing

12:30-14:00

Lunch

14:00-15:20

Session 5

14:00

Dynamic topological logics over spaces with continuous functions
Boris Konev, Roman Kontchakov, Frank Wolter and Michael Zakharyaschev

14:40

A decidable modal logic that is finitely undecidable
Igor Gorbunov

15:20-15:50

Coffee/Tea

15:50-17:10

Session 6

15:50

ML is not finitely axiomatisable over Cheq
Gaëlle Fontaine

16:30

The variety of modal FL_ew-algebras is generated by its finite simple members
Hiroki Tokamura

Wednesday, September 27

8:30-9:30

Invited Talk

8:30

Fixpoint hierarchies
Invited Speaker: Igor Walukiewicz

9:30-10:10

Session 7

9:30

Complexity of intuitionistic and Visser's basic logic in finitely many variables
Mikhail Rybakov

10:10-10:30

Coffee/Tea

10:30-12:30

Session 8

10:30

An expressive two-sorted spatial logic for plane projective geometry
Philippe Balbiani

11:10

Regarding Overlaps in 'Topologic'
Bernhard Heinemann

11:50

From topology to metric: modal logic and quantification in metric spaces
Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter and Michael Zakharyaschev

12:30-14:00

Lunch

14:00-15:20

Session 9

14:00

Modality, Paraconsistency and Paracompleteness
Ricardo Silvestre

14:40

On Modal Logic, IF Logic and IF Modal Logic
Tero Tulenheimo and Merlijn Sevenster

15:20-15:50

Coffee/Tea

15:50-17:10

Session 10

15:50

Topological Modal Logics with Difference Modality
Andrey Kudinov

16:30

Downward-directed transitive frames with universal relations
Ilya Shapirovsky

19:00

Conference Dinner

Thursday, September 28

8:30-9:30

Invited Talk

8:30

Completeness and Incompleteness in First-Order Modal Logic: An Overview
Invited Speaker: Valentin Shehtman

9:30-10:10

Session 11

9:30

The Tree of Knowledge in Action: Towards a Common Perspective
Johan van Benthem and Eric Pacuit

10:10-10:30

Coffee/Tea

10:30-12:30

Session 12

10:30

On some modal logics related to McKinsey axiom
Philippe Balbiani, Valentin Shehtman and Ilya Shapirovsky

11:10

Truth About Algorithmic Problems in Correspondence Theory
Alexander and Lydia Chagrov

11:50

On The Gargov-Goranko Translation
Tadeusz Litak

12:30-14:00

Lunch

14:00-15:20

Session 13

14:00

Logics with an existential modality
Natasha Alechina and Dmitry Shkatov

14:40

On the Deterministic Horn Fragment of Test-free PDL
Linh Anh Nguyen

15:20-15:50

Coffee/Tea

15:50

Closing