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.