Talks and Poster Presentations (without Proceedings-Entry):
"Herbrand's Phenomena in Justification Logic";
Talk: Collegium Logicum 2017, Proof Theory: Herbrand's Theorem Revisited,
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
Created from the Publication Database of the Vienna University of Technology.