[Zurück]

R. Kuznets:
"Herbrand's Phenomena in Justification Logic";
Vortrag: Collegium Logicum 2017, Proof Theory: Herbrand's Theorem Revisited, Wien (eingeladen); 25.05.2017 - 27.05.2017.

Justification logic is a refinement of modal logic that views the modality as an existential quantifier over justifications. Thus, both modal and justification logic can be viewed as sublanguages of the same first-order language with terms ranging over justifications. In the talk we explore how Herbrandization emerged as a stepping stone in proving the Realization Theorem, one of the central results in justification logic, providing its connection to modal logic.

Justification logic, Herbrand Theorem