Abstract is missing.
- On parametric phenomena in correspondence theoryWillem Conradie. 3-6
- Non-classical modal logic for natural languageWesley H. Holliday. 7-8
- Explanations in logicFrancesca Poggiolesi. 9-10
- Not the sky, but the third floor is the limit: Zero-one laws for provability logic, S4, and K4Rineke Verbrugge. 11-12
- Combinatorial Proofs for Constructive Modal LogicMatteo Acclavio, Lutz Straßburger, Renate A. Schmidt, Uli Sattler, Ruba Alassaf. 15-36
- Saturation-Based Uniform Interpolation for Multi-Modal LogicsRuba Alassaf, Renate A. Schmidt, Uli Sattler. 37-58
- Provability Logics of HierarchiesAmirhossein Akbar Tabatabai. 59-76
- Uniform Lyndon interpolation for intuitionistic monotone modal logicRosalie Iemhoff, Raheleh Jalali, Amirhossein Akbar Tabatabai. 77-96
- Parametrized modal logic I: An introductionPhilippe Balbiani, Saúl Fernández González. 97-118
- Projective unification through dualityPhilippe Balbiani, Quentin Gougeon. 119-134
- Local Dependence and GuardingBalder ten Cate, Raoul Koudijs, Johan van Benthem. 135-154
- A multi-modal logic for Galois connectionsInmaculada Perez de Guzmán, Antonio Yuste-Ginel, Alfredo Burrieza. 155-176
- Completeness for an Intuitionistic Modal Logic of VaguenessAhmee Christensen. 177-198
- Taming Bounded Depth with Nested SequentsLutz Straßburger, Matteo Tesi, Agata Ciabattoni. 199-216
- Describing neighborhoods in inquisitive modal logicIvano Ciardelli. 217-236
- Algebraic Semantics for One-Variable Lattice-Valued LogicsGeorge Metcalfe, Naomi Tokuda, Petr Cintula. 237-258
- Modal inverse correspondence via ALBAWillem Conradie, Mattia Panettiere. 259-280
- Wijesekera-style constructive modal logicsTiziano Dalmonte. 281-304
- Comparative plausibility in neighbourhood models: axiom systems and sequent calculiTiziano Dalmonte, Marianna Girlando. 305-328
- Modal logic and the polynomial hierarchy: from QBFs to K and backAnupam Das 0002, Sonia Marin. 329-348
- A New HopeKrisztina Fruzsa, Roman Kuznets, Hans van Ditmarsch. 349-370
- Algorithmic correspondence and analytic rulesAndrea De Domenico, Giuseppe Greco 0001. 371-390
- Submodel Enumeration of Kripke Structures in Modal LogicNicolas Fröhlich, Arne Meier. 391-406
- Robinson consistency in many-sorted hybrid first-order logicsGuillermo Badia, Tomasz Kowalski, Daniel Gaina. 407-428
- Direct elimination of additive-cuts in GL4ip: verified and extractedIan Shillito, Rajeev Goré. 429-450
- Medvedev logic is the logic of finite distributive lattices without top elementGianluca Grilletti. 451-466
- Goldblatt-Thomason Theorems for Modal Intuitionistic LogicsJim de Groot. 467-490
- EXPTIME-hardness of higher-dimensional Minkowski spacetimeRobin Hirsch, Brett McLean. 491-506
- Compatibility and accessibility: Lattice representations for semantics of non-classical and modal logicsWesley H. Holliday. 507-530
- Verification of Multi-Agent Properties in Electronic Voting: A Case StudyWojtek Jamroga, Lukasz Mako, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk, Damian Kurpiewski. 531-556
- Choice-Free de Vries DualityGuillaume Massas. 557-578
- Intuitionistic Modality and Beth SemanticsSatoru Niki. 579-600
- Analytic Cut and Mints - Symmetric Interpolation Method for Bi-intuitionistic Tense LogicHiroakira Ono, Katsuhiko Sano. 601-624
- Labelled sequent calculi for logics of strict implicationEugenio Orlandelli, Matteo Tesi. 625-642
- Graded modal logic with a single modalityMattia Panettiere, Apostolos Tzimoulis. 643-658
- An analytic proof system for common knowledge logic over S5Jan Rooduijn, Lukas Zenger. 659-680
- Medvedev's logic and products of converse well ordersDenis I. Saveliev, Ilya Shapirovsky. 681-696
- Relevant Reasoners in a Classical WorldIgor Sedlár, Pietro Vigiani. 697-718
- An Epistemic Interpretation of Tensor DisjunctionYanjing Wang 0001, Yunsong Wang, Haoyu Wang. 719-739