Speakers and Conference Programme

We will have the following invited speakers:

• Leon Horsten (University of Konstanz)
• Albert Visser (Utrecht University)
• Volker Halbach (University of Oxford)
• Ali Enayat (University of Gothenburg)

Moreover, we will have the following contributed speakers:

• Michael Sheard (St. Lawrence University)
• Pietro Brocci (University of Pisa)
• Daichi Hayashi (University of Bristol)

 

Conference Programme

To be announced.

 

Titles and Abstracts

Leon Horsten. TBA

Albert Visser. Incompleteness through a Boolean Lens. Abstract

Volker Halbach. Reflection, Implicit Commitment, and Truth. Abstract

Ali Enayat. Tarskian Truth and Set Theory. Abstract

Michael Sheard. Hidden in Plain Sight: Toward a Canonical Class of Models of FS. Abstract

Pietro Brocci. Cyclic Positive Disquotational Truth. Abstract

Daichi Hayashi. On (Co-)Necessitation in Intuitionistic Kripke–Feferman. Abstract