Prof. Dr. Thomas Studer: Justification Logic - Introduction and Recent Developments

Recorded as part of the Carl Friedrich von Weizsäcker Colloquium on June 16th Prof. Dr. Thomas Studer (University of Bern): Justification Logic - Introduction and Recent Developments Abstract: Justification logics are closely related to modal logics and can be viewed as a refinement of the latter with machinery for justification manipulation. Justifications are represented directly in the language by terms, which can be interpreted as formal proofs in a deductive system, evidence for knowledge, and so on. This more expressive language proved beneficial in both proof theory and epistemology and helped investigate problems ranging from a classical provability semantics for intuitionistic logic to the logical omniscience problem. In this talk, we will give an introduction to justification logic and present recent developments in the field such as conflict tolerant logics and formalizations of zero-knowledge proofs. Explore our colloquium schedule on our website: https://bit.ly/3sM4IFX