Accepted papers

Long papers

Matteo Acclavio and Lutz Straßburger	Combinatorial Proofs for Constructive Modal Logic
Ruba Alassaf, Renate A. Schmidt and Uli Sattler	Saturation-Based Uniform Interpolation for Multi-Agent Modal Logics
Philippe Balbiani and Saul Fernandez Gonzalez	Parametrized modal logic: an introduction
Philippe Balbiani and Quentin Gougeon	Projective unification through duality
Johan van Benthem, Balder ten Cate and Raoul Koudijs	Local Dependence and Guarding
Alfredo Burrieza, Inmaculada Perez de Guzmán and Antonio Yuste-Ginel	A multi-modal logic for Galois connections
Ahmee Christensen	Completeness for an Intuitionistic Modal Logic of Vagueness
Agata Ciabattoni, Lutz Straßburger and Matteo Tesi	Taming Bounded Depth with Nested Sequents
Ivano Ciardelli	Describing neighborhoods in inquisitive modal logic
Petr Cintula, George Metcalfe and Naomi Tokuda	Algebraic Semantics for One-Variable Lattice-Valued Logics
Willem Conradie and Mattia Panettiere	Modal inverse correspondence via ALBA
Tiziano Dalmonte	Wijesekera-style constructive modal logics
Tiziano Dalmonte and Marianna Girlando	Comparative plausibility in neighbourhood models: axiom systems and sequent calculi
Anupam Das and Sonia Marin	Modal logic and the polynomial hierarchy: from QBFs to K and back
Hans van Ditmarsch, Krisztina Fruzsa and Roman Kuznets	A New Hope
Andrea De Domenico and Giuseppe Greco	Algorithmic correspondence and analytic rules
Nicolas Fröhlich and Arne Meier	Sub-Model Enumeration of Kripke Structures in Modal Logic
Daniel Gaina, Guillermo Badia and Tomasz Kowalski	Robinson consistency in many-sorted hybrid first-order logics
Rajeev Goré and Ian Shillito	Direct elimination of additive-cuts in GL4ip: verified and extracted.
Gianluca Grilletti	Medvedev logic is the logic of finite distributive lattices without top element
Jim de Groot	Goldblatt-Thomason Theorems for Modal Intuitionistic Logics
Robin Hirsch and Brett McLean	EXPTIME-hardness of higher-dimensional Minkowski spacetime
Wesley Holliday	Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
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
Guillaume Massas	Choice-Free de Vries Duality
Satoru Niki	Intuitionistic Modality and Beth Semantics
Hiroakira Ono and Katsuhiko Sano	Analytic Cut and Mints’ Symmetric Interpolation Method for Bi-intuitionistic Tense Logic
Eugenio Orlandelli and Matteo Tesi	Labelled sequent calculi for logics of strict implication
Mattia Panettiere and Apostolos Tzimoulis	Graded modal logic with a single modality
Jan Rooduijn and Lukas Zenger	An analytic proof system for common knowledge logic over S5
Denis I. Saveliev and Ilya Shapirovsky	Medvedev’s logic and products of converse well orders
Igor Sedlar and Pietro Vigiani	Relevant Reasoners in a Classical World
Amirhossein Akbar Tabatabai	Provability Logics of Hierarchies
Amirhossein Akbar Tabatabai, Rosalie Iemhoff and Raheleh Jalali	Uniform Lyndon interpolation for intuitionistic monotone modal logic
Haoyu Wang, Yanjing Wang and Yunsong Wang	An Epistemic Interpretation of Tensor Disjunction

Short papers (Booklet)

Willem Conradie, Valentin Goranko and Chantel Marais	On the Priorean Temporal Logics of Trees
Sabine Frittella, Marta Bilkova, Daniil Kozhemiachenko, Ondrej Majer and Sajad Nazari	Reasoning with probabilities and belief functions over Belnap–Dunn logic
Wesley Fussner and Peter Jipsen	Strict Implication Over Logics Without Contraction
Malvin Gattinger	A Verified Proof of Craig Interpolation for Basic Modal Logic via Tableaux in Lean
Marianna Girlando, Ekaterina Kubyshkina and Mattia Petrolo	A labelled proof system for ignorance
Daniil Khaitovich	Neighbourhood semantics and axioms for strategic fragment of classical stit logic
Stanislav Kikot and Andrey Kudinov	On strictly positive fragments of modal logics with confluence
Raoul Koudijs and Balder ten Cate	Characterizing Modal Formulas with Examples
Andrey Kudinov	Topological product of S4.1 x S4
Stepan Kuznetsov	Strong R-completeness for the Product-Free Lambek Calculus with Intersection and Unit
Rui Li and Francesco Belardinelli	A Sahlqvist-style Correspondence Theorem for Linear-time Temporal Logic LTL
René Mellema and Frank Dignum	Linking sanctions to norms in practice (short version)
Zalan Molnar	Bounded ultrafilter extensions and ultrafilter unions are elementary
Yoàv Montacute	Cantor Derivative Logic in Topological Dynamics
Matteo Pascucci and Igor Sedlár	Hyperintensional models for non-congruential modal systems
Daniel Rogozin and Ilya Shapirovsky	On decidable extensions of Propositional Dynamic Logic
Valentin Shehtman	Some new examples of Kripke complete modal predicate logics
Daniel Skurt	The smallest modal system
Naomi Tokuda	The Dependence Problem in Varieties of Modal Semilattices
Yuanzhe Yang	Logics of true belief