Program
Browse it on your phone!
The conference website has a mobile-friendly design, so you can conveniently browse the program on your smartphone, too!Tuesday, 30th August 2016
8:30 – 8:55 Registration
9:00 – 10:00 Session 1 (Auditorium) – Invited talk
Chair: Lev Beklemishev
9:00 – 10:00 |
10:00 – 10:30 Coffee break
10:30 – 12:00 Session 2 (Auditorium)
Chair: Guram Bezhanishvili
10:30 – 11:00 | |
11:00 – 11:30 | |
11:30 – 12:00 |
12:00 – 13:30 Lunch
13:30 – 14:30 Session 3
Session 3A (Gellner room) Chair: Marcus Kracht |
|
---|---|
13:30 – 13:42 | |
13:42 – 13:54 | |
13:54 – 14:06 | |
14:06 – 14:18 |
On modal logic of submodels
|
14:18 – 14:30 | Questions |
Session 3B (Popper room) Chair: Robert Goldblatt |
|
---|---|
13:30 – 13:42 | |
13:42 – 13:54 |
The Kripke sheaf completion of weak
constant domain principle is not finitely
axiomatizable
|
13:54 – 14:06 | |
14:06 – 14:18 |
Beyond knowledge: when an agent imagines
|
14:18 – 14:30 | Questions |
14:40 – 15:40 Session 4 (Auditorium)
Chair: Sara Negri
14:40 – 15:10 | |
15:10 – 15:40 |
Synthetic Completeness Proofs for Seligman-Style Tableau Systems
|
15:40 – 16:00 Coffee break
16:00 – 19:00 Session 5 (Auditorium)
In Memoriam: Alexander V. Chagrov
Organizers: Valentin Shehtman and Michael Zakharyaschev
16:00 – 16:30 | |
16:30 – 17:30 |
17:30 – 17:40 Coffee
17:40 – 18:00 |
WS5 as a Metalogic of
Superintuitionistic Multiple-Conclusion Consequence
Relations
|
18:00 – 18:30 | |
18:30 – 19:00 |
Wednesday, 31th August 2016
9:00 – 10:00 Session 6 (Auditorium) – Invited talk
Chair: Valentin Shehtman
9:00 – 10:00 |
The Modal Logic of Topology: New Directions
|
10:00 – 10:30 Coffee break
10:30 – 12:30 Session 7 (Auditorium)
Chair: Stéphane Demri
10:30 – 11:00 | |
11:00 – 11:30 |
Axiomatizing the Lexicographic Products of Modal Logics with LTL
|
11:30 – 12:00 | |
12:00 – 12:30 |
12:30 – 14:00 Lunch
14:00 – 18:00 Excursion to Szentendre
Thursday, 1st September 2016
9:00 – 10:30 Session 8 (Auditorium)
Chair: András Máté
09:00 – 09:30 |
CEU Talk: Modal Logic in the Quantified Argument Calculus
|
09:30 – 10:00 | |
10:00 – 10:30 |
10:30 – 11:00 Coffee break
11:00 – 12:30 Session 9 (Auditorium)
Chair: Philippe Balbiani
11:00 – 11:30 | |
11:30 – 12:00 |
To Know is to Know the Value of a Variable
|
12:00 – 12:30 |
12:30 – 14:00 Lunch
14:00 – 16:00 Session 10 (Auditorium)
Chair: Alexandru Baltag
14:00 – 14:30 |
About Intuitionistic Public Announcement Logic
|
14:30 – 15:00 | |
15:00 – 15:30 |
Locales, Nuclei, and Dragalin Frames
|
15:30 – 16:00 |
16:00 – 16:30 Coffee break
16:30 – 18:00 Session 11
Session 11A (Gellner room) Chair: Didier Galmiche |
|
---|---|
16:30 – 16:42 |
Gödel’s incompleteness properties and
the expressive quality of some
modal-behaving logics
|
16:42 – 16:54 |
Algebraic semantics for logics with
necessity and sufficiency
|
16:54 – 17:06 | |
17:06 – 17:18 | |
17:18 – 17:30 | |
17:30 – 17:42 |
Notes on the reduction property for
GLP-algebras
|
17:42 – 17:54 | Questions |
Session 11B (Popper room) Chair: George Metcalfe |
|
---|---|
16:30 – 16:42 |
Normal default rules as epistemic actions
|
16:42 – 16:54 | |
16:54 – 17:06 |
Expressivity of Many-Valued Modal Logics,
Coalgebraically
|
17:06 – 17:18 |
The logic of Resources and Capabilities
|
17:18 – 17:30 | |
17:30 – 17:42 |
Agents, Roles and Rights. A Formal
Analysis on Hohfeldian Conceptions
|
17:42 – 17:54 | Questions |
19:00 Conference Dinner
Friday, 2nd September 2016
9:00 – 10:00 Session 12 (Auditorium) – Invited talk
Chair: Stéphane Demri
9:00 – 10:00 |
Beliefs and Evidence in Justification Models
|
10:00 – 10:30 Coffee break
10:30 – 12:30 Session 13 (Auditorium)
Chair: Ilya Shapirovsky
10:30 – 11:00 | |
11:00 – 11:30 | |
11:30 – 12:00 | |
12:00 – 12:30 |
Update, Probability, Knowledge and Belief
|
12:30 – 14:00 Lunch
14:00 – 14:36 Session 14
Session 14A (Auditorium) Chair: Serenella Cerrito |
|
---|---|
14:00 – 14:12 | |
14:12 – 14:24 | |
14:24 – 14:36 |
Canonical rules and formulas for PDL
|
14:36 – 14:40 | Questions |
Session 14B (Popper room) Chair: Melvin Fitting |
|
---|---|
14:00 – 14:12 | |
14:12 – 14:24 |
Constructive canonicity for non-classical
modal fixed-point logics
|
14:24 – 14:36 | |
14:36 – 14:40 | Questions |
14:45 – 16:15 Session 15 (Auditorium)
Chair: David Fernández-Duque
14:45 – 15:15 | |
15:15 – 15:45 | |
15:45 – 16:15 |
16:15 – 16:40 Coffee break
16:40 – 18:10 Session 16 (Popper room)
Chair: Yde Venema
16:40 – 17:10 |
Algebraic Semantics of Refinement Modal Logic
|
17:10 – 17:40 |
Verification Logic: An Arithmetical Interpretation for
Negative Introspection
|
17:40 – 18:10 |
18:10 AiML'16 closing