题  目：A Brief Introduction to Justification Logic

主  讲：俞珺华博士 

简  介：师从Sergei N. Artemov，2014年以论文Self-referentiality in constructive semantics of intuitionistic and modal logics于纽约市立大学研究生院(Graduate Center, City University of New York)计算机科学系逻辑学专业获得PHD。目前学术兴趣主要集中在：Justification logic; Realization methods, self-referentiality; Structural proof theory; (sub/super) Intuitionistic logic; Modal embeddings, Visser’s BPL and FPL。现任职于清华大学哲学系。

主  持：王彦晶副教授

时  间：12月8日星期二15:10-18:00

地  点：北京大学三教506

摘  要：Justification logic is an explicit version of modal logic. In justification logic, instead of []3, we have t:3, with a intuitive meaning that t is a justification of 3, where t is a term with its structure. After a glance of its history, we will present the logic formally, and talk about two indispensible features, "Fitting completeness" and "Realization". Some selected topics will also be mentioned, including mixed-systems of modal and justification logics, self-referentiality in realizations, possible philosophical applications, etc..