Advances in Modal Logic, Volume 15

Agata Ciabattoni, David Gabelaia and Igor Sedlár, editors.

College Publications, 2024.

ISBN-13: 978-1-84890-467-5

Volume 15 contains invited and contributed papers from the fifteenth conference on Advances in Modal Logic held at the Faculty of Arts, Charles University in Prague from 22 to 25 August 2024.

Volume 15 is available online:

Table of Contents

• Preface, ix-xii
• Abstracts of Invited Talks
• Alexandru Baltag, Knowability as Continuity: The Modal Logic of Continuous and Uniform Dependence, 3
• Marta Bílková, Group Epistemics, (Co-)algebraically, 5-7
• David Fernández-Duque, Modal Logics in Dynamical Systems, 9-11
• Cláudia Nalon, Efficient Theorem-Proving for Modal Logics, 13-16
• Contributed Papers
• Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh and Lukas Zenger, Intuitionistic Master Modality, 19-39
• Juan P. Aguilera and Grigorii Stepanov, Strong Completeness of the Closed Fragment of GLP, 41-58
• Rodrigo Nicolau Almeida and Nick Bezhanishvili, Coalgebraic Semantics for Intuitionistic Modal Logic, 59-77
• Rodrigo Nicolau Almeida and Silvio Ghilardi, Unification With Simple Variable Restrictions and Admissibility of Π₂-Rules, 79-100
• Melissa Antonelli and Jan von Plato, On the Proof Theory of Apodictic Syllogistic, 101-123
• Philippe Balbiani and Hans van Ditmarsch, Towards Dynamic Distributed Knowledge, 125-146
• Alexandru Baltag and Sonja Smets, Logics for Data Exchange and Communication, 147-169
• Line van den Berg, Manuela Busaniche, Miguel Andrés Marcos and George Metcalfe, Towards an Algebraic Theory of KD45-Like Logics, 171-186
• Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Fernández-Duque and David Gabelaia, Logics of Polyhedral Reachability, 187-204
• Nick Bezhanishvili, David Fernández-Duque and Reihane Zoghifard, The Goldblatt-Thomason Theorem for Derivative Spaces, 205-223
• Marta Bílková, Hans van Ditmarsch, Roman Kuznets and Rojo Randrianomentsoa, Bisimulation for Impure Simplicial Complexes, 225-248
• Thomas Bolander and Alessandro Burigana, Better Bounded Bisimulation Contractions, 249-267
• Jesse Comer, Lovász Theorems for Modal Languages, 269-291
• Yifeng Ding and Yipu Li, Some General Completeness Results for Propositionally Quantified Modal Logics, 293-313
• Yifeng Ding, Krishna Manoorkar, Mattia Panettiere and Ruoding Wang, Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic, 315-333
• Damiano Fornasiere, Johannes Marti and Giovanni Varricchione, Frame Definability in Conditional Logic, 335-356
• Daniel Găină, Birkhoff Style Proof Systems for Hybrid-Dynamic Quantum Logic, 357-378
• Rustam Galimullin and Louwe B. Kuijer, Varieties of Distributed Knowledge, 379-400
• Vitor Greati and Revantha Ramanayake, Deducibility in the Full Lambek Calculus with Weakening Is HAck-Complete, 401-422
• Wesley H. Holliday, Modal Logic, Fundamentally, 423-446
• Ahmee Christensen, Logics of Knowability, 447-464
• Agi Kurucz, Frank Wolter and Michael Zakharyaschev, The Interpolant Existence Problem for Weak K4 and Difference Logic, 465-483
• Xinghan Liu and Emiliano Lorini, The Complexity of Reasoning about Classifiers, 485-504
• Guillaume Massas, Goldblatt-Thomason Theorems for Fundamental (Modal) Logic, 505-525
• Borja Sierra-Miranda, Thomas Studer and Lukas Zenger, Coalgebraic Proof Translations for Non-Wellfounded Proofs, 527-548
• Mojtaba Mojtahedi and Konstantinos Papafilippou, Projectivity Meets Uniform Post-Interpolant: Classical and Intuitionistic Logic, 549-564
• Valentin Müller, Natural Deduction, Normalization and Subformula Property for Kreisel-Putnam Logic, 565-585
• Wolfgang Poiger, Positive Modal Logic Over Finite MV-Chains, 587-607
• Vít Punčochář and Ivo Pezlar, Informative Presupposition in Inquisitive Logic, 609-630
• Dmitry Rozplokhas, LEGO-Like Small Model Constructions for Åqvist's Logics, 631-651
• Mikhail N. Rybakov, Dmitry Shkatov and Dmitrij P. Skvortsov, On the System of Positive Slices in the Structure of Superintuitionistic Predicate Logics, 653-674
• Sofía Santiago-Fernández, Joost J. Joosten, David Fernández-Duque, A Tree Rewriting System for the Reflection Calculus, 675-695
• Yanjing Wang and Junhua Yu, Point-Set Neighborhood Logic, 697-717
• Xuefeng Wen, A Modal Logic for Reasoning in Contexts, 719-740
• Yuanzhe Yang, A First-order Modal Logic of Strict Implication on Varying-Domain Models, 741-760