The 7th Workshop on Proof Theory, Modal Logic and Reflection Principles

The tradition of modal logics inspired by the notion of formal provability dates back to Gödel. However, their study has gained significant momentum in the last decade due to novel applications in the foundations of mathematics. This study also involves the interaction of several disciplines in mathematical logic and beyond, including computational logic, proof theory, and point-set topology.

The aim of this workshop is to bring together experts in relevant fields to discuss recent advances and foster new collaborations. Topics include, but are not restricted to:

  • Provability logics and algebras
  • Lightweight fragments of modal logics
  • Proof theory and ordinal analysis
  • Weak and strong systems of arithmetic
  • Modalities in topology and set theory
  • Justification logics and logics of proofs
  • Computability and complexity
TERUG NAAR OVERZICHT

PRAKTISCHE INFO

  • DATUM
    02 september, 2024
  • LOCATIE
    icon

    Gent
  • DOELGROEP
    PhD
  • TAAL EVENEMENT
    ENGELS

ONZE UNIVERSITEITEN