[Back]

R. Kuznets:
"Herbrand's Phenomena in Justification Logic";
Talk: Collegium Logicum 2017, Proof Theory: Herbrand's Theorem Revisited, Wien (invited); 2017-05-25 - 2017-05-27.

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