Program

The detailed timetable of the workshop (preliminary version): PROGRAM (PDF)

Invited talks

  • Dora Achourioti (University of Amsterdam): TBA
  • Ali Enayat (University of Gothenburg): TBA
  • Kentaro Fujimoto (University of Bristol): TBA
  • Volker Halbach (University of Oxford):
    “Classical Grounded Truth” (joint work with Kentaro Fujimoto)
  • Graham Leigh (University of Gothenburg): TBA
  • Albert Visser (Utrecht University): TBA

Contributed talks

  • Jonathan Dittrich (LMU Munich):
    “Revising Inferences”
  • Nissim Francez & Michael Kaminski (Technion – Israel Institute of Technology):
    “Transparent truth-value predicates in multi-valued logics”
  • Alexander Jones (University of Bristol):
    “Weakly Inductive Satisfaction Classes and a Nonstandard Equivalence Schema”
  • Greg Lauro (University of California, Irvine):
    “Reflection Principles and Semantic Entanglement”
  • Carlo Nicolai (LMU Munich):
    “Modalizing full disquotation”
  • Fedor Pakhomov (Steklov Mathematical Institute RAS, Moscow):
    “Induction from Hierarchies of Truth Predicates”
  • Edoardo Rivello (Università di Torino):
    “On Leitgeb’s dependence operator”
  • Michael Sheard (St. Lawrence University):
    “A Unified Ordinal Analysis for Compositional Truth Theories”
  • Kameryn Williams (City University of New York):
    “On the Length of Iterated Full Satisfaction Classes”
  • Tin Lok Wong (Polish Academy of Sciences):
    “Satisfaction classes on restricted formula classes”
  • Konrad Zdanowski (Cardinal Wyszyński University in Warsaw):
    “Truth predicate for Δ0 formulas and PSPACE computations”

Project participants’ talks

  • Michał Tomasz Godziszewski (University of Warsaw): TBA
  • Mateusz Łełyk (University of Warsaw):
    “Axiomatic Theories of Truth, Bounded Induction and Reflection Principles”
  • Bartosz Wcisło (University of Warsaw): TBA