The detailed timetable of the workshop: WWFTT Program

Invited talks

  • Dora Achourioti (University of Amsterdam):
    “On the expressive power of truth”
  • Ali Enayat (University of Gothenburg):
    “Compositional truth: conservativity, interpretability, and feasability”
  • Kentaro Fujimoto (University of Bristol):
    “What are classes? From a truth-theoretic point of view”
  • Volker Halbach (University of Oxford):
    “Classical Grounded Truth” (joint work with Kentaro Fujimoto)
  • Stanisław Krajewski (University of Warsaw):
    “Satisfaction Classes and Finite Axiomatizability”
  • Graham Leigh (University of Gothenburg):
    “Completing adequate theories of truth”
  • Albert Visser (Utrecht University):
    “Biconditionals lead to Conservativity”

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 (Utrecht University):
    “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):
    “Generalizing the Nonabsoluteness of Satisfaction Theorem”
  • Mateusz Łełyk (University of Warsaw):
    “Axiomatic Theories of Truth, Bounded Induction and Reflection Principles”
  • Bartosz Wcisło (University of Warsaw):
    “Model-theoretic strength of axiomatic theories”