Skip to content
JRC for Logic
Tsinghua University – University of Amsterdam Joint Research Centre for Logic
Home
About us
Brochure
Centre in the Media
Annual Reports
People
Research Fellows
Alexandru Baltag
Johan van Benthem
Feng Qi 冯琦
Asher Jiang 蒋运鹏
Liao Beishui 廖备水
Liu Fenrong 刘奋荣
Liu Mingming 刘明明
Liu Xinwen 刘新文
Jeremy Seligman
Sonja Smets
Martin Stokhof
Su Kaile 苏开乐
Hao TANG 唐浩
Wang Lu 王路
Wang Wei 王巍
Yu Junhua 俞珺华
Zhai Jincheng 翟锦程
Postdocs and Students
Advisory Board
Oversight Committee
Directors
People Exchange
New Jin Yuelin Chair at Tsinghua University
Research
Research Program: Logic and Agency
Research Program: Logic, Language and Philosophy
Research Program: History of Logic in China
Projects
Publications
Education
Academic Year 2021-2022
Academic Year 2020-2021
Academic Year 2019-2020
Academic Year 2018-2019
Academic Year 2017-2018
Event Series
The Jin Yuelin Lectures at Tsinghua University
Workshop series in logic: Tsinghua Meets X
Tsinghua Logic Colloquium
Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning
History of Logic in China
Tsinghua Logic Salon
Tsing Ch’a Sessions
Tsinghua Logic Blog
Event Archives
Events in 2021
Events in 2020
Events in 2019
Events in 2018
Events in 2017
Events in 2016
Events in 2015
Events in 2014
Events in 2013
UPCOMING EVENTS
Search
搜索
搜索 …
JRC for Logic
Tsinghua University – University of Amsterdam Joint Research Centre for Logic
Search
搜索
搜索 …
搜索
搜索 …
主菜单
Home of TOSS
Call for participation
Courses
Expressivity and Inference in Hybrid Logic
Logic, Data, and Incomplete Information
Yu Junhua 俞珺华
俞珺华 Yu Junhua
(Tsinghua University)
–
Interests
: Structural proof theory.
