俞珺华博士逻辑讲座：A brief introduction to justification logic

题 目：A Brief Introduction to Justification Logic

主 讲：俞珺华博士

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

地 点：北京大学三教506

摘 要：Justification logic is an explicit version of modal logic. In justification logic, instead of []phi, we have t:phi, with a intuitive meaning that t is a justification of phi, 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..

简 介：师从Sergei N. Artemov，2014年以论文Self-referentiality in constructive semantics of intuitionistic and modal logics于纽约市立大学研究生院(Graduate Center, City University of New York)计算机科学系逻辑学专业获得PHD。

曾获多个国际会议的最佳学生论文奖（Yandex Best Paper Award 及 Rosser Prize for best student paper）

目前学术兴趣主要集中在：Justification logic; Realization methods, self-referentiality; Structural proof theory; (sub/super) Intuitionistic logic; Modal embeddings, Visser’s BPL and FPL。

现任职于清华大学哲学系。