Talks

Tutorials

• Boundedly axiomatizable theories meet (in)completeness

  Ali Enayat

• Categoricity-like notions for first-order theories

  Mateusz Łełyk

Invited Talks

• Two-dimensional Kripke semantics

  Alex Kavvos

• Topological semantics of the predicate modal calculus $\sf{QGL}$ extended with non-well-founded proofs

  Daniyar Shamkanov

• Atomization alternatives in the Russell-Prawitz translation

  Gilda Ferreira

• New models of $\sf{GL.3}$

  Juan Pablo Aguilera

• Searching for the ideal framework

  Michael Rathjen

• Admissibility of Visser's rules in intuitionistic modal logics

  Raheleh Jalali

Contributed Talks

• How constructive is Gödel's Dialectica translation?

  Stephen Mackereth

• Towards intuitionistic polymodal provability logic

  Mojtaba Mojtahedi, Fedor Pakhomov

• Proof-theoretic remarks on extensions of the Kripke-Feferman theory of truth

  Pietro Brocci

• Hyperations for WPO dilators

  Philipp Provenzano

• A classification of the $\sf{KPl}$-provably total set-recursive functions

  Juan Pablo Aguilera, Antón Fernández Dejean, Joost Joosten

• Possible world semantics and the contingency of logic

  Paul Mayaux, Iris van der Giessen, Joost Joosten

• Paraconsistent arithmetic and recapture

  Maria Beatrice Buonaguidi

• $\sf{IGL}$ without sharps

  Leonardo Pacheco

• Robert Feys on modal logic

  Jacques Riche, Max Cresswell

• Strong completeness below $\sf{GLP}$

  Grigorii Stepanov, Juan Pablo Aguilera