Advances in Modal Logic 2012: Programme

	Wednesday, 22 August 2012
9:00–9:30	Registration and coffee
09:30–10:30	Invited Talk: Foundational Issues in Logical Dynamics   Johan van Benthem
10:30–11:00	Break
11:00–11:30	Labelled Tree Sequents, Tree Hypersequents and Nested (Deep) Sequents Rajeev Goré and Revantha Ramanayake	Not all Those who Wander are Lost: Dynamic Epistemic Reasoning in Navigation Yanjing Wang and Yanjun Li
11:30–12:00	Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures Alwen Tiu, Egor Ianovski and Rajeev Goré	General Dynamic Dynamic Logic Patrick Girard, Jeremy Seligman and Fenrong Liu
12:00–12:30	A Remark on a Peculiarity in the Functor Semantics for Superintuitionistic Predicate Logics with (or without) Equality Dmitrij Skvortsov	Evidence Logic: A New Look at Neighborhood Structures Johan van Benthem, David Fernández and Eric Pacuit
12:30–13:00	Computing Minimal EL-unifiers is Hard Franz Baader, Stefan Borgwardt and Barbara Morawska	A Uniform Logic of Information Dynamics Wesley Holliday, Tomohiro Hoshi and Thomas Icard
13:00–14:00	Lunch
Short talks: 14:00–15:30	Generalized DEL-sequents Guillaume Aucher, Bastien Maubert and François Schwarzentruber	On Connections Between BK-extensions and K-extensions Stanislav Speranskiy
	First-Order Intuitionistic Epistemic Logics Arising from Game Theory Nobu-Yuki Suzuki	Thoughts about a Generic Prover in Modal Logic François Schwarzentruber
	Paul of Venice on a Puzzle about Uncertainty Sara Uckelman	Equational Hybrid Type Theory Maria Manzano, Manuel A. Martins and Antonia Huertas
	The Product-Free Lambek Calculus does not have Uniform Interpolation Ivan Smurov	Dynamic Relational Mereotopology: A Modal Logic for Stable and Unstable Relations Vladislav Nenchev
	Temporal Operators Associated with SymcatB Paolo Bottoni, Daniele Gorla, Anna Labella and Stefano Kasangian	On the Complexity of the Closed Fragment of Japaridze's Provability Logic Fedor Pakhomov
	Adaptive Characterizations of Relational Partial Meet Contractions in a Modal Framework Frederik Van De Putte	Towards Many-Valued Moss' Coalgebraic Logic Matej Dostal
15:30–16:00	Break
Short talks: 16:00 – 17:00	On Modal Logic of Topological Dynamics: Actions of Arbitrary Semigroups Denis I. Saveliev	Subset-Simulation as Model Minimality Criterion Fabio Papacchini and Renate A. Schmidt
	A Note on the Existence and Disjunction Properties in Super-Intuitionistic Predicate Logics Nobu-Yuki Suzuki	Towards a Semantics for Infinitary Equational Hybrid Logic Manuel A. Martins, Alexandre Madeira and Luis Barbosa
	Goedel translation in modal substructural logics Hiroakira Ono	Modal Logic with Global Counting Operators Coded in Binary is NExpTime-complete Michal Zawidzki, Renate Schmidt and Dmitry Tishkovsky
	Löb-like modalities in type theory and category theory Tadeusz Litak
	Thursday, 23 August 2012
9:30–10:00	Introduction to the Special Session
10:00–11:00	Invited talk: Interpolation and Beth definability over the minimal logic  Larisa Maksimova
11:00–11:30	Break
11:30–11:45	Logics with WIP over DL. Axiomatization Anastasia Karpenko
11:45–12:00	Some Remarks on Negative Modalities Sergey Drobyshevich and Sergei Odintsov
12:00–12:30	Informal talks Friends, collegues and students of Larisa Maksimova
12:30–14:00	Lunch
14:00–15:00	Invited talk: First Steps in Synthetic Guarded Domain Theory  Lars Birkedal
15:00–15:30	Break
15:30–16:00	Iterated Cantor-Bendixson Derivative Operators: Completeness and Definability of a Modal Logic Philippe Balbiani and Levan Uridia	Distributive Substructural Logics as Coalgebraic Logics over Posets Marta Bílková, Rostislav Horcik and Jirí Velebil
16:00–16:30	Topological Completeness of First-Order Modal Logic Steve Awodey and Kohei Kishida	Expressiveness of Positive Coalgebraic Logic Krzystof Kapulkin, Alexander Kurz and Jirí Velebil
16:30–17:00	Sahlqvist Theorems for Precontact Logics Philippe Balbiani and Stanislav Kikot	Morphisms on Bi-Approximation Semantics Tomoyuki Suzuki
17:00–18:30	AiML business meeting: agenda to be announced
	Friday, 24 August 2012
9:30–10:30	Invited talk to the Special Session on Hybrid Logics: Back to the Future  Patrick Blackburn
10:30–11:00	Indexical Hybrid Tense Logic Patrick Blackburn and Klaus Frovin Jørgensen
11:00–11:30	Break
11:30–12:00	On Modal Products with the Logic of “Elsewhere” Christopher Hampson and Agi Kurucz
12:00–12:30	The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers Stefan Göller, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas and Felix Weiss
12:30–13:00	Extending ALCQ With Bounded Self-Reference Daniel Gorín and Lutz Schröder
13:00–14:00	Lunch
14:00–15:00	Invited talk: Calibrating provability logic: from modal logic to reflection calculus  Lev Beklemishev
15:00–15:30	Break
15:30–16:00	Justifications, Ontology, and Conservativity Roman Kuznets and Thomas Studer	Finite Satisfiability of Modal Logic over Horn Definable Classes of Frames Jakub Michaliszyn and Emanuel Kieronski
16:00–16:30	Refinement Quantified Logics of Knowledge and Belief For Multiple Agents James Hales, Tim French and Rowan Davies	Finite frames for K4.3 x S5 are decidable Agi Kurucz and Sérgio Marcelino
16:30–17:00	Some Truths are Best Left Unsaid Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig and Tiago De Lima	Beyond Regularity for Presburger Modal Logics Facundo Carreiro and Stéphane Demri
19:00	Conference Dinner
	Saturday, 25 August 2012
9:30–10:30	Invited talk: Guarded negation  Balder ten Cate
10:30–11:00	Break
11:00–11:30	Dynamic mereotopology II: Axiomatizing some Whiteheadean Type Space-time Logics Dimiter Vakarelov	On Modal Logics of Hamming Spaces Andrey Kudinov, Ilya Shapirovsky and Valentin Shehtman
11:30–12:00	Kripke Models of Transfinite Provability Logic David Fernández and Joost Joosten	Modal Logic of Some Products of Neighbourhood Frames Andrey Kudinov
12:00–12:30	On Incompleteness of Dynamic Topological Logic David Fernández	Synthesis of Continuous Temporal Models Mark Reynolds, John Mccabe-Dansted and Tim French
12:30–13:30	Lunch
14:00–17:00	Social Event: Boat Trip, Walking Tour, Brewery Tour.