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.