Advances in Modal Logic 2012 22-25 August 2012, Copenhagen, Denmark

• Home
• Program
• Conference dinner
• Social event
• Venue and travelling
• Accommodation
• Logic around Copenhagen
• Committees
• Contact



• Older links:
• Accepted papers
• Call for papers
• Co-located event: SLS
• Important dates
• Invited speakers
• Paper submissions
• Poster
• Registration
• Topics/Special sessions

Accepted papers

Full papers

• Steve Awodey and Kohei Kishida

  Topological Completeness of First-Order Modal Logic

• Franz Baader, Stefan Borgwardt and Barbara Morawska

  Computing Minimal EL-unifiers is Hard

• Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig and Tiago De Lima

  Some truths are best left unsaid

• Philippe Balbiani and Stanislav Kikot

  Sahlqvist theorems for precontact logics

• Philippe Balbiani and Levan Uridia

  Iterated Cantor-Bendixson derivative operators: completeness and definability of a modal logic

• Johan van Benthem, David Fernández and Eric Pacuit

  Evidence Logic: A New Look at Neighborhood Structures

• Marta Bilkova, Rostislav Horcik and Jiri Velebil

  Distributive substructural logics as coalgebraic logics over posets

• Patrick Blackburn and Klaus Frovin Jørgensen

  Indexical Hybrid Tense Logic

• Facundo Carreiro and Stéphane Demri

  Beyond Regularity for Presburger Modal Logics

• David Fernández-Duque

  On incompleteness of Dynamic Topological Logic

• David Fernández-Duque and Joost Joosten

  Kripke models of transfinite provability logic

• Tim French, John McCabe-Dansted and Mark Reynolds

  Synthesis of Continuous Temporal Models

• Patrick Girard, Jeremy Seligman and Fenrong Liu

  General Dynamic Dynamic Logic

• Rajeev Gore and Revantha Ramanayake

  Labelled tree sequents, Tree hypersequents and Nested (Deep) Sequents

• Daniel Gorin and Lutz Schröder

  Extending ALCQ With Bounded Self-Reference

• Stefan Göller, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas and Felix Weiss

  The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers

• James Hales, Tim French and Rowan Davies

  Refinement Quantified Logics of Knowledge and Belief For Multiple Agents

• Christopher Hampson and Agi Kurucz

  On modal products with the logic of ‘elsewhere’

• Wesley Holliday, Tomohiro Hoshi and Thomas Icard

  A Uniform Logic of Information Dynamics

• Krzystof Kapulkin, Alexan der Kurz and Jiri Velebil

  Expressiveness of Positive Coalgebraic Logic

• Andrey Kudinov

  Modal logic of some products of neighbourhood frames

• Andrey Kudinov, Ilya Shapirovsky and Valentin Shehtman

  On modal logics of Hamming spaces

• Agi Kurucz and Sergio Marcelino

  Finite frames for K4.3xS5 are decidable

• Roman Kuznets and Thomas Studer

  Justifications, Ontology, and Conservativity

• Jakub Michaliszyn and Emanuel Kieronski

  Finite Satisfiability of Universally-Horn Definable Modal Logics

• Dmitrij Skvortsov

  A remark on a peculiarity in the functor semantics for superintuitionistic predicate logics with (or without) equality

• Tomoyuki Suzuki

  Morphisms on Bi-Approximation Semantics

• Alwen Tiu, Egor Ianovski and Rajeev Gore

  Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures

• Dimiter Vakarelov

  Dynamic mereotopology II: Axiomatizing some Whiteheadean Type Space-time Logics

• Yanjing Wang and Yanjun Li

  Not all those who wander are lost: dynamic epistemic reasoning in navigation

Short presentations

• Karpenko Anastasia

  Logics with WIP over DL. Axiomatization.

• Guillaume Aucher, Bastien Maubert and François Schwarzentruber

  Generalized DEL-sequents

• Paolo Bottoni, Daniele Gorla, Anna Labella and Stefano Kasangian

  Temporal operators associated with SymcatB

• Matej Dostal

  Towards many-valued Moss' coalgebraic logic

• Sergey Drobyshevich and Sergei Odintsov

  Some remarks on negative modalities

• María Manzano, Manuel A. Martins and Antonia Huertas

  Equational Hybrid Type Theory

• Manuel A. Martins, Alexandre Madeira and Luis Barbosa

  Towards a semantics for infinitary equational hybrid logic

• Vladislav Nenchev

  Dynamic relational mereotopology: A modal logic for stable and unstable relations

• Hiroakira Ono

  Gödel translation in modal substructural logics

• Fedor Pakhomov

  On the complexity of the closed fragment of Japaridze's provability logic

• Fabio Papacchini and Renate A. Schmidt

  Subset-Simulation as Model Minimality Criterion

• Frederik Van De Putte

  Adaptive Characterizations of Relational Partial Meet Contractions in a Modal Framework

• Denis I. Saveliev

  On modal logic of topological dynamics: actions of arbitrary semigroups

• François Schwarzentruber

  Thoughts about a generic prover in modal logic

• Ivan Smurov

  The product-free Lambek calculus does not have uniform interpolation

• Stanislav Speranskiy

  On connections between BK-extensions and K-extensions

• Nobu-Yuki Suzuki

  First-Order Intuitionistic Epistemic Logics Arising from Game Theory

• Nobu-Yuki Suzuki

  A Note on the Existence and Disjunction Properties in Super-Intuitionistic Predicate Logics

• Sara L. Uckelman

  Paul of Venice on a Puzzle About Uncertainty

• Michal Zawidzki, Renate Schmidt and Dmitry Tishkovsky

  Modal logic with global counting operators coded in binary is NExpTime-complete

---