Program

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