Advances in Modal Logic, Volume 14

David Fernández-Duque, Alessandra Palmigiano and Sophie Pinchinat, editors.

College Publications, 2022.

ISBN-13: 978-1-84890-413-2

Volume 14 contains invited and contributed papers from the fourteenth conference on Advances in Modal Logic organised at the Université de Rennes 1 from 22 to 25 August 2022.

Volume 14 is available online:

Table of Contents

• Preface, viii-xi
• Abstracts of Invited Talks
• Willem Conradie, On parametric phenomena in correspondence theory, 3-6
• Wesley H. Holliday, Non-classical modal logic for natural language, 7-8
• Francesca Poggiolesi, Explanations in Logic, 9-10
• Rineke Verbrugge, Not the sky, but the third floor is the limit: Zero-one laws for provability logic, S4, and K4, 11
• Contributed Papers
• Matteo Acclavio and Lutz Straßburger, Combinatorial Proofs for Constructive Modal Logic, 15-36
• Ruba Alassaf, Renate A. Schmidt and Uli Sattler, Saturation-Based Uniform Interpolation for Multi-Modal Logics, 37-57
• Amirhossein Akbar Tabatabai, Provability Logics of Hierarchies, 59-76
• Amirhossein Akbar Tabatabai, Rosalie Iemhoff and Raheleh Jalali, Uniform Lyndon interpolation for intuitionistic monotone modal logic, 77-96
• Philippe Balbiani and Saul Fernández González, Parametrized modal logic I: an introduction, 97-117
• Philippe Balbiani and Quentin Gougeon, Projective unification through duality, 119-134
• Johan van Benthem, Balder ten Cate and Raoul Koudijs, Local Dependence and Guarding, 135-154
• Alfredo Burrieza, Inmaculada Pérez de Guzmán and Antonio Yuste-Ginel, A multi-modal logic for Galois connections, 155-176
• Ahmee Christensen Completeness for an Intuitionistic Modal Logic of Vagueness, 177-197
• Agata Ciabattoni, Lutz Straßburger and Matteo Tesi, Taming Bounded Depth with Nested Sequents, 199-216
• Ivano Ciardelli, Describing neighborhoods in inquisitive modal logic, 217-236
• Petr Cintula, George Metcalfe and Naomi Tokuda, Algebraic Semantics for One-Variable Lattice-Valued Logics, 237-258
• Willem Conradie and Mattia Panettiere, Modal inverse correspondence via ALBA, 259-280
• Tiziano Dalmonte, Wijesekera-style constructive modal logics, 281-303
• Tiziano Dalmonte and Marianna Girlando, Comparative plausibility in neighbourhood models: axiom systems and sequent calculi, 305-327
• Anupam Das and Sonia Marin, Modal logic and the polynomial hierarchy: from QBFs to K and back, 329-348
• Hans van Ditmarsch, Krisztina Fruzsa and Roman Kuznets, A New Hope, 349-369
• Andrea De Domenico and Giuseppe Greco, Algorithmic correspondence and analytic rules, 371-389
• Nicolas Fröhlich and Arne Meier, Submodel Enumeration of Kripke Structures in Modal Logic, 391-406
• Daniel Găină, Guillermo Badia and Tomasz Kowalski, Robinson consistency in many-sorted hybrid first-order logics, 407-428
• Rajeev Goré and Ian Shillito, Direct elimination of additive-cuts in GL4ip: verified and extracted, 429-449
• Gianluca Grilletti, Medvedev logic is the logic of finite distributive lattices without top element, 451-466
• Jim de Groot, Goldblatt-Thomason Theorems for Modal Intuitionistic Logics, 467-489
• Robin Hirsch and Brett McLean, EXPTIME-hardness of higher-dimensional Minkowski spacetime, 491-505
• Wesley H. Holliday, Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics, 507-529
• Damian Kurpiewski, Wojtek Jamroga, Łukasz Maśko, Łukasz Mikulski, Witold Pazderski, Wojciech Penczek and Teofil Sidoruk, Verification of Multi-Agent Properties in Electronic Voting: A Case Study, 531-555
• Guillaume Massas, Choice-Free de Vries Duality, 557-577
• Satoru Niki, Intuitionistic Modality and Beth Semantics, 579-599
• Hiroakira Ono and Katsuhiko Sano, Analytic Cut and Mints' Symmetric Interpolation Method for Biintuitionistic Tense Logic, 601-623
• Eugenio Orlandelli and Matteo Tesi, Labelled sequent calculi for logics of strict implication, 625-641
• Mattia Panettiere and Apostolos Tzimoulis, Graded modal logic with a single modality, 643-657
• Jan Rooduijn and Lukas Zenger, An analytic proof system for common knowledge logic over S5, 659-679
• Denis I. Saveliev and Ilya Shapirovsky, Medvedev's logic and products of converse well orders, 681-696
• Igor Sedlár and Pietro Vigiani, Relevant Reasoners in a Classical World, 697-717
• Haoyu Wang, Yanjing Wang and Yunsong Wang, An Epistemic Interpretation of Tensor Disjunction, 719-739