Invited talks
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 |
Accepted full papers
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 |
Accepted short presentations
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 |