Wormshop 2024
Program
Program Overview
Talks Overview
Speakers Overview
Information
Location
Practical
Registration
Previous Editions
2023
2019
2017
2016
2014
2012
Logic Group UGent
Wormshop 2024
Contributed Talks
Proof-theoretic remarks on extensions of the Kripke-Feferman theory of truth
Pietro Brocci
1
1
Scuola Normale Superiore
on
Mon, 16:00
for
30min
(Download the abstract.)
(Download the slides.)
Overview
×