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

Modal Automata: Studying Fixpoint Logics one Step at a Time
Yde Venema (ILLC, Universiteit van Amsterdam)

10:00 – 10:30 Coffee break

10:30 – 12:00 Session 2 (Auditorium)

Chair: Guram Bezhanishvili

10:30 – 11:00	The Tangled Derivative Logic of the Real Line and Zero-Dimensional Spaces Robert Goldblatt and Ian Hodkinson
11:00 – 11:30	The Succinctness of First-Order Logic over Modal Logic via a Formula Size Game Lauri Hella and Miikka Vilander
11:30 – 12:00	Axiomatizing a Real-Valued Modal Logic George Metcalfe, Denisa Diaconescu and Laura Schnüriger

12:00 – 13:30 Lunch

13:30 – 14:30 Session 3

	Session 3A (Gellner room) Chair: Marcus Kracht
13:30 – 13:42	Distributive mereotopology Tatyana Ivanova and Dimiter Vakarelov
13:42 – 13:54	The length of distinguishing modal formulae Valentin Goranko and Louwe B. Kuijer
13:54 – 14:06	On the Completeness of EL-Equations: First Results Stanislav Kikot, Agi Kurucz, Yoshihito Tanaka, Frank Wolter and Michael Zakharyaschev
14:06 – 14:18	On modal logic of submodels Denis Saveliev and Ilya Shapirovsky
14:18 – 14:30	Questions

	Session 3B (Popper room) Chair: Robert Goldblatt
13:30 – 13:42	Computability of definability in the class of all KD45 frames Dimiter Georgiev
13:42 – 13:54	The Kripke sheaf completion of weak constant domain principle is not finitely axiomatizable Dmitrij Skvortsov
13:54 – 14:06	A survey on Kearns’ modal semantics without possible worlds Hitoshi Omori and Daniel Skurt
14:06 – 14:18	Beyond knowledge: when an agent imagines Joan Casas-Roma, Antonia Huertas and M. Elena Rodriguez
14:18 – 14:30	Questions

14:40 – 15:40 Session 4 (Auditorium)

Chair: Sara Negri

14:40 – 15:10	A Paraconsistent View on B and S5 Arnon Avron and Anna Zamansky
15:10 – 15:40	Synthetic Completeness Proofs for Seligman-Style Tableau Systems Klaus Frovin Joergensen, Patrick Blackburn, Thomas Bolander and Torben Braüner

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	Alexander Chagrov and Modal Logic Valentin Shehtman
16:30 – 17:30	Modal logics of interval relations: a selective overview Valentin Goranko (Stockholm University)

17:30 – 17:40 Coffee

17:40 – 18:00	WS5 as a Metalogic of Superintuitionistic Multiple-Conclusion Consequence Relations Alex Citkin
18:00 – 18:30	Logics of Infinite Depth Marcus Kracht
18:30 – 19:00	Unification in Modal Logic ALT1 Philippe Balbiani and Tinko Tinchev

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
Guram Bezhanishvili (New Mexico State University)

10:00 – 10:30 Coffee break

10:30 – 12:30 Session 7 (Auditorium)

Chair: Stéphane Demri

10:30 – 11:00	It ain't necessarily so: Basic sequent systems for negative modalities Ori Lahav, João Marcos and Yoni Zohar
11:00 – 11:30	Axiomatizing the Lexicographic Products of Modal Logics with LTL Philippe Balbiani and David Fernández Duque
11:30 – 12:00	Propositional Dynamic Logic with Belnapian Truth Values Igor Sedlar
12:00 – 12:30	Decidable First-Order Modal Logics with Counting Quantifiers Christopher Hampson

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 Hanoch Ben-Yami (Central European University, Budapest)
09:30 – 10:00	Local Tabularity without Transitivity Ilya Shapirovsky and Valentin Shehtman
10:00 – 10:30	The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus Marianna Girlando, Sara Negri, Nicola Olivetti and Vincent Risch

10:30 – 11:00 Coffee break

11:00 – 12:30 Session 9 (Auditorium)

Chair: Philippe Balbiani

11:00 – 11:30	“Knowing Value” Logic as a Normal Modal Logic Tao Gu and Yanjing Wang
11:30 – 12:00	To Know is to Know the Value of a Variable Alexandru Baltag
12:00 – 12:30	The Logic of Where and While in the 13th and 14th Centuries Sara L. Uckelman

12:30 – 14:00 Lunch

14:00 – 16:00 Session 10 (Auditorium)

Chair: Alexandru Baltag

14:00 – 14:30	About Intuitionistic Public Announcement Logic Philippe Balbiani and Didier Galmiche
14:30 – 15:00	Fully Arbitrary Public Announcements Hans van Ditmarsch, Wiebe Van Der Hoek and Louwe B. Kuijer
15:00 – 15:30	Locales, Nuclei, and Dragalin Frames Guram Bezhanishvili and Wesley Holliday
15:30 – 16:00	Before Announcement Philippe Balbiani, Hans van Ditmarsch and Andreas Herzig

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 Hajnal Andreka, Mohamed Khaled and Istvan Nemeti
16:42 – 16:54	Algebraic semantics for logics with necessity and sufficiency Ivo Düntsch, Ewa Orlowska and Tinko Tinchev
16:54 – 17:06	Semi-Provability Predicates and Extensions of GL Fedor Pakhomov
17:06 – 17:18	Big and small steps for fast and slow provability Paula Henk
17:18 – 17:30	Free Boolean extensions of Heyting algebras Michal Stronkowski
17:30 – 17:42	Notes on the reduction property for GLP-algebras Lev Beklemishev
17:42 – 17:54	Questions

	Session 11B (Popper room) Chair: George Metcalfe
16:30 – 16:42	Normal default rules as epistemic actions Michal Dancak and Michal Pelis
16:42 – 16:54	Axiomatizing Modal Dependence Logics Fan Yang
16:54 – 17:06	Expressivity of Many-Valued Modal Logics, Coalgebraically Marta Bilkova and Matej Dostal
17:06 – 17:18	The logic of Resources and Capabilities Giuseppe Greco, Marta Bilkova, Alessandra Palmigiano, Nachoem Wijnberg and Apostolos Tzimoulis
17:18 – 17:30	Neighbourhood products of pretransitive logics with S5 Andrey Kudinov
17:30 – 17:42	Agents, Roles and Rights. A Formal Analysis on Hohfeldian Conceptions Réka Markovich
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
Sonja Smets (ILLC, Universiteit van Amsterdam)

10:00 – 10:30 Coffee break

10:30 – 12:30 Session 13 (Auditorium)

Chair: Ilya Shapirovsky

10:30 – 11:00	A Canonical Model Construction for Intuitionistic Distributed Knowledge Gerhard Jäger and Michel Marti
11:00 – 11:30	Classical and Empirical Negation in Subintuitionistic Logic Michael De and Hitoshi Omori
11:30 – 12:00	The Structure of the Lattice of Normal Extensions of Modal Logics with Cyclic Axioms Yutaka Miyazaki
12:00 – 12:30	Update, Probability, Knowledge and Belief Jan Van Eijck and Bryan Renne

12:30 – 14:00 Lunch

14:00 – 14:36 Session 14

	Session 14A (Auditorium) Chair: Serenella Cerrito
14:00 – 14:12	Herbrand’s theorem for hybrid logic Diana Costa, Manuel A. Martins and João Marcos
14:12 – 14:24	Temporal hybrid logics with the modalities “Tomorrow” and “Yesterday” Polina Vakhrusheva
14:24 – 14:36	Canonical rules and formulas for PDL Julia Ilin
14:36 – 14:40	Questions

	Session 14B (Popper room) Chair: Melvin Fitting
14:00 – 14:12	On the Lambek calculus of the Kleene star and the exponential Stepan Kuznetsov
14:12 – 14:24	Constructive canonicity for non-classical modal fixed-point logics Willem Conradie, Andrew Craig, Alessandra Palmigiano and Zhiguang Zhao
14:24 – 14:36	Temporal modal logic of intervals with relation ‘before’ Alexei Chizhov
14:36 – 14:40	Questions

14:45 – 16:15 Session 15 (Auditorium)

Chair: David Fernández-Duque

14:45 – 15:15	A Cut-Free Sequent Calculus for the Logic of Subset Spaces Birgit Elbl
15:15 – 15:45	Embedding Formalisms: Hypersequents and Two-Level Systems of Rules Agata Ciabattoni and Francesco A. Genco
15:45 – 16:15	A Focused Framework for Emulating Modal Proof Systems Sonia Marin, Dale Miller and Marco Volpe

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 Zeinab Bakhtiari, Hans van Ditmarsch and Sabine Frittella
17:10 – 17:40	Verification Logic: An Arithmetical Interpretation for Negative Introspection Juan Pablo Aguilera and David Fernández-Duque
17:40 – 18:10	Post Completeness in Congruential Modal Logics Peter Fritz

18:10 AiML'16 closing