Bahareh Afshari | Cyclic Proof Systems for Modal Logics |

Nick Bezhanishvili | Filtrations, Canonical Formulas, and Axiomatizations of Superintuitionistic and Modal Logics |

Melvin Fitting | About `Binding Modalities' |

Nina Gierasimczuk | Learning and Modal Logic: There and Back Again |

Ana de Almeida Borges and Joost J. Joosten | Quantified Reflection Calculus with one Modality |

Fausto Barbero and Fan Yang | Counterfactuals and dependencies on causal teams: expressive power and deduction systems |

Nick Bezhanishvili, Silvio Ghilardi and Lucia Landi | Model Completeness and Π_2 -rules: the case of Contact Algebras |

Guram Bezhanishvili and Luca Carai | Temporal interpretation of intuitionistic quantifiers |

Justin Bledin and Yitzhak Melamed | Spinozian Model Theory |

Yifeng Ding and Wesley Holliday | Another Problem in Possible World Semantics |

Sebastian Enqvist | A circular proof system for the hybrid mu-calculus |

Luis Estrada-González | Possibility, consistency and connexivity |

Giulio Fellin, Sara Negri and Peter Schuster | Modal Logic for Induction |

Saul Fernandez Gonzalez, Hans van Ditmarsch and Philippe Balbiani | Quantifying over Asynchronous Information Change |

Saul Fernandez Gonzalez and Philippe Balbiani | Indexed Frames and Hybrid Logics |

Jonas Forster and Lutz Schröder | Non-iterative Modal Logics are Coalgebraic |

Valentin Goranko | The modal logic of almost sure frame validity in the finite |

Rajeev Goré and Ian Shillito | Bi-Intuitionistic Logics: a New Instance of an Old Problem |

Jim de Groot, Helle Hansen and Alexander Kurz | Logic-induced bisimulations |

Andreas Herzig and Elise Perrotin | On the axiomatisation of common knowledge |

Wesley Holliday | Inquisitive Intuitionistic Logic |

Andrzej Indrzejczak | Existence, Definedness and Definite Descriptions in Hybrid Modal Logic |

Stanislav Kikot, Ilya Shapirovsky and Evgeny Zolin | Modal logics with transitive closure: completeness, decidability, filtration |

Jędrzej Kołodziejski | Bisimulational Categoricity |

Hirohiko Kushida | Reduction of Modal Logic and Realization in Justification Logic |

Stepan Kuznetsov | The 'long rule' in the Lambek calculus with iteration: undecidability without meets and joins |

George Metcalfe and Olim Tuyt | A Monadic Logic of Ordered Abelian Groups |

Satoru Niki and Hitoshi Omori | Actuality in Intuitionistic Logic |

Hitoshi Omori and Daniel Skurt | A Semantics for a Failed Axiomatization of K |

Hitoshi Omori and Heinrich Wansing | An Extension of Connexive Logic C |

Mikhail Rybakov and Dmitry Shkatov | Algorithmic properties of first-order modal logics of the natural number line in restricted languages |

Katsuhiko Sano | Goldblatt-Thomason-style Characterization for Intuitionistic Inquisitive Logic |

Igor Sedlar | Finitely-valued Propositional Dynamic Logic |

Daniyar Shamkanov | Global neighbourhood completeness of the provability logic GLP |

Sara L. Uckelman | William of Sherwood on Necessity and Contingency |

The booklet of the short papers can be found here.

Melissa Antonelli | The proof theory of apodictic syllogistic |

Marta Bilkova, Sabine Frittella, Ondrej Majer and Sajad Nazari | Belief based on inconsistent information |

Manfred Borzechowski and Malvin Gattinger | A proof from 1988 that PDL has interpolation? |

Giovanna Corsi and Eugenio Orlandelli | FOIL with constant domain revisited |

Asta Halkjær From | Hybrid logic in the Isabelle proof assistant: Benefits, challenges and the road ahead |

Christopher Hampson | FOLTL with counting quantifiers over finite timelines with expanding domains is Ackermann-complete |

Andrey Kudinov | Topological product of modal logics S4.1 and S4 |

Nils Kurbis | A sketch of a proof-theoretic semantics for necessity |

Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel and Emerson Sales | Ecumenical modal logic |

Sonia Marin and Marianela Morales Elena | Fully structured proof theory for intuitionistic modal logics |

Johannes Marti | Conditional logic is complete for convexity in the plane |

Luka Mikec, Joost J. Joosten and Mladen Vuković | A W-flavoured series of interpretability principles |

Konstantinos Papafilippou and Joost J. Joosten | Independent worm battles |

Yaroslav Petrukhin | Cut-free hypersequent calculi for the logics with non-standard S5-style modalities |

Davide Emilio Quadrellaro | Algebraic semantics of intuitionistic inquisitive and dependence logic |

Daniel Rogozin | Canonical extensions for the distributive full Lambek calculus with modal operators |

Jan Mas Rovira, Luka Mikec and Joost J. Joosten | Generalised Veltman semantics in Agda |

Max Sandström | Expressivity of linear temporal logic under team semantics |

Katsuhiko Sano and Sakiko Yamasaki | Subformula property and Craig interpolation theorem of sequent calculi for tense logics |

Igor Sedlar | A general completeness argument for propositional dynamic logic |

Valentin Shehtman and Dmitry Shkatov | Some prospects for semiproducts and products of modal logics |

Xingchi Su | Knowledge-based conditional obligation |

Ren-June Wang | Another proof of the realization theorem |