Logic Seminar

Philip SinkCornell University
Arithmetical Completeness of LP(CS)

Tuesday, November 26, 2019 - 2:55pm
Malott 206

We will explore the key ideas behind Sergei Artemov's Justification Logics, notably Fitting's Semantics, and build towards a proof of Arithmetic Completeness for a particular Justification Logic, LP(CS), in the spirit of Solovay's seminal result for provability logic.