Advances in Modal Logic, Volume 16

Marta Bílková, Malvin Gattinger, Iris van der Giessen, Marianna Girlando and Yanjing Wang, editors.

Volume 447 in EPTCS, 2026.

ISSN: 2075-2180

Volume 16 contains invited and contributed papers from the sixteenth conference on Advances in Modal Logic organized by the Institute of Logic, Language and Computation (ILLC) of the University of Amsterdam from 29 June to 3 July 2026.

Volume 16 is available online:

Table of Contents

• Preface
• Invited Talks
• Contributed Papers
• Rajab Aghamov, Andrey Kudinov, Maik Thanh Nguyen and Jakob Piribauer, On Modal Logics of Full Products of Neighborhood Frames, 1-15
• Juan P. Aguilera and Guillaume Massas, Conditionals and Modalities in Constructive Quantum Logics, 16-34
• Rodrigo Nicolau Almeida, Uniform Local Tabularity in Intuitionistic Logic, 35-54
• Rodrigo Nicolau Almeida and Matteo De Berardinis, Coequivalence Relations and Descent in Modal Logic, 55-74
• Philippe Balbiani, Hans van Ditmarsch and Clara Lerouvillois, Resolving Asynchronous Distributed Knowledge, 75-92
• Alexandru Baltag and Sonja Smets, The Logic of Data Access and Data Exchanges, 93-116
• Fausto Barbero, Marianna Girlando, Valentin Müller and Fan Yang, Labelled Sequent Calculi for Propositional Team Logics, 117-136
• Gaia Belardinelli and Snow Zhang, Belief Contraction in Dynamic Epistemic Logic, 137-157
• Nick Bezhanishvili, Jim de Groot and Lawrence S. Moss, Modal Measurable Logics via a Modal Loomis-Sikorski Representation Theorem, 158-172
• Adam Bjorndahl and Philip Sink, A Semantics for Belief in Simplicial Complexes, 173-188
• Qian Chen and Tenyo Takahashi, Most Properties are Undecidable for Transitive Tense Logics, 189-202
• Somayeh Chopoghloo, Massoud Pourmahdian and Reihane Zoghifard, Goldblatt-Thomason Theorem for Probability Logic, 203-221
• Ivano Ciardelli, Inquisitive Action Logic, 222-241
• Ivano Ciardelli and Simone Conti, Labelled Sequents for Inquisitive First-Order Modal Logic, 242-261
• Alex Citkin, On Strong Structural Completeness of Varieties and Quasivarieties, 262-277
• Tiziano Dalmonte and Jim de Groot, Intuitionistic Monotone Modal Logic: Proof Theory and Semantics, 278-298
• Yifeng Ding and Yuanzhe Yang, A General Theory of Propositional Modal Bundled Modalities, 299-320
• Lev V. Dvorkin, On Interpretations of Normal Modal Logics, 321-340
• Thomas Macaulay Ferguson and Shay Allen Logan, Hyperformalism for Relevant Modal Logics, 341-354
• Mauro Ferrari, Camillo Fiorentini, Paolo Giardini and Ricardo Oscar Rodriguez, A Gödel Modal Logic Over Witnessed Models, 355-373
• Fèlix Frigola González, Joost J. Joosten, Vicent Navarro Arroyo and Cosimo Perini Brogi, Ultrafilter Extensions for Veltman Semantics, 374-390
• Aleksandr Gagarin and David Fernández-Duque, Topological Logics of Path-Reachability, 391-406
• Han Gao and Nicola Olivetti, Taming Complexity in Intuitionistic Modal Logic: The Case of FIK and Its Shallow Calculus, 407-426
• Rajeev Goré and Cormac Kikkert, Modal CEGAR-tableaux with RECAR and resolution-based SAT-shortcuts, 427-444
• Jim de Groot and Tadeusz Litak, Relational Semantics for Flat Heyting-Lewis Logic, 445-463
• Jim de Groot, João Marcos and Rodrigo Stefanes, Intuitionistic K is a Bisimulation-Invariant Fragment of Intuitionistic First-Order Logic, 464-483
• John Harding and Ilya Shapirovsky, On Modal Logics of Connectedness in Metric Spaces, 484-499
• Chen Huang and Xuefeng Wen, Stratified Counterpossible Logic, 500-517
• Filip Jankovec and Wolfgang Poiger, Pointed Modal Abelian Logic, Algebraically, 518-531
• Roman Kontchakov, Dmitry Shkatov and Frank Wolter, Fusions of One-Variable First-Order Modal Logics, 532-551
• Juha Kontinen and Ivano Ciardelli, On the Expressive Power of Inquisitive Team Logic and Inquisitive First-Order Logic, 552-566
• Søren Brinck Knudstorp, Possibly Relevant Translations, 567-583
• Marco Lewis and Nesta van der Schaaf, Some Results on Causal Modalities in General Spacetimes, 584-602
• Sonia Marin, Paaras Padhiar and Ian Shillito, Intuitionistic Justification Logic, Semantically, 603-622
• Yoàv Montacute, Halo Semantics for Modal Logic, 623-635
• Ryo Murai, Sizhuo Liu and Katsuhiko Sano, Analytic Cut in Epistemic Logics with Distributed Knowledge, 636-654
• Katsuhiko Sano, Uniform Interpolation of Basic Tense Logic, 655-673
• Simon Santschi and Niels C. Vooijs, Logics Containing wK4: Selection ă la Fine, 674-690
• Igor Sedlár, Non-classical Topological Evidence Logic, 691-710
• Borja Sierra Miranda and Thomas Studer, Uniform Lyndon Interpolation via Non-wellfounded Proofs, 711-730
• Hongyi Wang, Knowing-Value Logic with Successor Arithmetic, 731-749
• Yu Wei, Better Understanding, Understanding Better, 750-769
• Han Xiao, Non-finite Axiomatizability of Generalized Medvedev Logics, 770-781