Advances in Modal Logic, Volume 12

Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe and Thomas Studer, editors.

College Publications, 2018.

ISBN-13: 978-1-84890-255-8

Volume 12 contains invited and contributed papers from the twelfth conference on "Advances in Modal logic," held at the University of Bern from 27 to 31 August 2018.

Volume 12 is available online:

Table of Contents

• Preface, ix-xii
• Abstracts of Invited Talks
• Agata Ciabattoni, Intermediate Logics: From Hypersequents to Concurrent Computation, 3
• Rob Goldblatt, Canonicity Frameworks and Ultraproducts of Polarities, 5
• Rosalie Iemhoff, The Existence of Proof Systems, 7
• Stanislav Kikot, Kripke Completeness of Strictly Positive Modal Logics Over Meet Semi-Lattices with Operators, 9
• Contributed Papers
• Ana de Almeida Borges and Joost J. Joosten, The Worm Calculus, 13-27
• Arnon Avron and Ori Lahav, A Simple Cut-Free System for a Paraconsistent Logic Equivalent to S5, 29-42
• David Baelde, Anthony Lick and Sylvain Schmitz, A Hypersequent Calculus with Clusters for Linear Frames, 43-62
• Philippe Balbiani and Martin Diéguez, Here and There Modal Logic with Dual Implication, 63-82
• Philippe Balbiani, David Fernández-Duque, Andreas Herzig and Petar Iliev, Frame-Validity Games and Absolute Minimality of Modal Axioms, 83-102
• Tristan Charrier and François Schwarzentruber, Complexity of Dynamic Epistemic Logic with Common Knowledge, 103-122
• Ivano Ciardelli, Dependence Statements Are Strict Conditionals, 123-142
• Alex Citkin, One-Generated WS5-Algebras, 143-158
• Tiziano Dalmonte, Nicola Olivetti and Sara Negri, Non-Normal Modal Logics: Bi-Neighbourhood Semantics and Its Labelled Calculi, 159-178
• Stéphane Demri and Raul Fervari, On the Complexity of Modal Separation Logics, 179-198
• Martín Diéguez and David Fernández-Duque, An Intuitionistic Axiomatization of 'Eventually', 199-218
• Yifeng Ding, On the Logics with Propositional Quantifiers Extending S5Π, 219-235
• Gaëtan Douéneau-Tabot, Sophie Pinchinat and François Schwarzentruber, Chain-Monadic Second Order Logic over Regular Automatic Trees and Epistemic Planning Synthesis, 237-256
• Birgit Elbl, Cut-Free Sequent Calculi for Products and Relativised Products of Modal Logics, 257-276
• Silvio Ghilardi and Luigi Santocanale, Ruitenburg's Theorem via Duality and Bounded Bisimulations, 277-290
• Marianna Girlando, Nicola Olivetti and Sara Negri, Counterfactual Logic: Labelled and Internal Calculi, Two Sides of the Same Coin?, 291-310
• Christopher Hampson, The Bimodal Logic of Commuting Difference Operators Is Decidable, 311-326
• Eduardo Hermo Reyes and Joost J. Joosten, Relational Semantics for the Turing Schmerl Calculus, 327-346
• Robin Hirsch and Brett McLean, The Temporal Logic of Two-Dimensional Minkowski Spacetime with Slower-Than-Light Accessibility Is Decidable, 347-366
• Wesley H. Holliday and Tadeusz Litak, One Modal Logic to Rule Them All?, 367-386
• Andrzej Indrzejczak, Cut-Free Modal Theory of Definite Descriptions, 387-406
• Fengkui Ju, Gianluca Grilletti and Valentin Goranko, A Logic for Temporal Conditionals and a Solution to the Sea Battle Puzzle, 407-426
• Stanislav Kikot, Agi Kurucz, Frank Wolter and Michael Zakharyaschev, On Strictly Positive Modal Logics with S4.3 Frames, 427-446
• James Koussas, Tomasz Kowalski, Yutaka Miyazaki and Michael Stevens, Normal Extensions of KTB of Codimension 3, 447-458
• Tomasz Kowalski and George Metcalfe, Coherence in Modal Logic, 459-472
• Roman Kuznets and Björn Lellmann, Interpolation for Intermediate Logics via Hyper- and Linear Nested Sequents, 473-492
• Stepan Kuznetsov, *-Continuity vs. Induction: Divide and Conquer, 493-510
• Michel Marti and Thomas Studer, The Internalized Disjunction Property for Intuitionistic Justification Logic, 511-529
• Mikhail Rybakov and Dmitry Shkatov, A Recursively Enumerable Kripke Complete First-Order Logic Not Complete with Respect to a First-Order Definable Class of Frames, 531-539
• Ilya Shapirovsky, Truth-Preserving Operations on Sums of Kripke Frames, 541-558
• Valentin Shehtman, On Kripke Completeness of Some Modal Predicate Logics with the Density Axiom, 559-575
• Dmitrij Skvortsov, Remark on the Superintuitionistic Predicate Logic of Kripke Frames of Finite Height with Constant Domains: A Simpler Kripke Complete Logic That Is Not Strongly Complete, 577-590
• Frederik Van De Putte and Dominik Klein, Pointwise Intersection in Neighbourhood Modal Logic, 591-610
• Yanjing Wang and Jeremy Seligman, When Names Are Not Commonly Known: Epistemic Logic with Assignments, 611-628