Advances in Modal Logic, Volume 9

Thomas Bolander,
Torben Braüner,
Silvio Ghilardi,
and Lawrence Moss, editors.

College Publications, 2012.

ISBN-13: 978-1-84890-068-4

Volume 9 contains invited and contributed papers from the ninth conference on "Advances in Modal logic," held in Copenhagen, Denmark, in August 2012.

Volume 9 is available online:

Table of Contents

• Preface, vii-viii
• Steve Awodey and Kohei Kishida, Topological Completeness of First-Order Modal Logics, 1-17
• Franz Baader, Stefan Borgwardt and Barbara Morawska, Computing Minimal EL-unifiers is Hard, 18-35
• Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig and Tiago de Lima, Some Truths Are Best Left Unsaid, 36-54
• Philippe Balbiani and Stanislav Kikot, Sahlqvist Theorems for Precontact Logics, 55-70
• Philippe Balbiani and Levan Uridia, Completeness and Definability of a Modal Logic Interpreted over Iterated Strict Partial Orders, 71-88
• Lev Beklemishev, Calibrating Provability Logic: From Modal Logic to Reflection Calculus, 89-94
• Johan van Benthem, Foundational Issues in Logical Dynamics, 95-96
• Johan van Benthem, David Fernández-Duque and Eric Pacuit, Evidence Logic: A New Look at Neighborhood Structures, 97-118
• Marta Bílková, Rostislav Horčík and Jiří Velebil, Distributive Substructural Logics as Coalgebraic Logics over Posets, 119-142
• Lars Birkedal, First Steps in Synthetic Guarded Domain Theory, 143
• Patrick Blackburn and Klaus Frovin Jørgensen, Indexical Hybrid Tense Logic, 144-160
• Facundo Carreiro and Stéphane Demri, Beyond Regularity for Presburger Modal Logic, 161-182
• Balder ten Cate, Guarded Negation, 183-184
• David Fernández-Duque and Joost J. Joosten, Kripke Models of Transfinite Provability Logic, 185-199
• David Fernández-Duque, Non-finite Axiomatizability of Dynamic Topological Logic, 200-216
• Tim French, John McCabe-Dansted and Mark Reynolds, Synthesis for Temporal Logic over the Reals, 217-238
• Patrick Girard, Jeremy Seligman and Fenrong Liu, General Dynamic Dynamic Logic, 239-260
• Stefan Göller, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas and Felix Weiß, The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers, 261-278
• Rajeev Goré and Revantha Ramanayake, Labelled Tree Sequents, Tree Hypersequents and Nested (Deep) Sequents, 279-299
• Daniel Gorín and Lutz Schröder, Extending ALCQ with Bounded Self-Reference, 300-316
• James Hales, Tim French and Rowan Davies, Refinement Quantified Logics of Knowledge and Belief for Multiple Agents, 317-338
• Christopher Hampson and Agi Kurucz, On Modal Products with the Logic of 'Elsewhere', 339-347
• Wesley H. Holliday, Tomohiro Hoshi and Thomas F. Icard, III, A Uniform Logic of Information Dynamics, 348-367
• Krzysztof Kapulkin, Alexander Kurz and Jiří Velebil, Expressiveness of Positive Coalgebraic Logic, 368-385
• Andrey Kudinov, Modal Logic of Some Products of Neighborhood Frames, 386-394
• Andrey Kudinov, Ilya Shapirovsky and Valentin Shehtman, On Modal Logics of Hamming Spaces, 395-410
• Agi Kurucz and Sérgio Marcelino, Finite Frames for K4.3 x S5 Are Decidable, 411-436
• Roman Kuznets and Thomas Studer, Justifications, Ontology, and Conservativity, 437-458
• Larisa Maksimova, Interpolation and Beth Definability over the Minimal Logic, 459-463
• Jakub Michaliszyn and Emanuel Kieroński, Finite Satisfiability of Modal Logic over Horn Definable Classes of Frames, 464-482
• Dmitrij Skvortsov, A Remark on a Peculiarity in the Functor Semantics for Superintuitionistic Predicate Logics with (or without) Equality, 483-493
• Tomoyuki Suzuki, Morphisms on Bi-approximation Semantics, 494-515
• Alwen Tiu, Egor Ianovski and Rajeev Goré, Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures, 516-537
• Dimiter Vakarelov, Dynamic Mereotopology II: Axiomatizing some Whiteheadean Type Space-time Logics, 538-558
• Yanjing Wang and Yanjun Li, Not All Those Who Wander Are Lost: Dynamic Epistemic Reasoning in Navigation, 559-580