Home» Teaching» Seminar Plans» 逻辑学讨论班» 本学期计划

2024年春季报告

Location:Teaching Building No.2 (二教) 313

Time

Speaker Title Notes
Feb. 20  

Openning

 
Feb. 27

Linfeng Wang

(王林峰)

Yipu Li

(李一朴)

A slight modification of Quine’s New Foundations

 

带量词的命题模态逻辑的完全性

 

Mar. 5

Bo Hong

(洪博)

Yunsong Wang

(王云崧)

先秦类名与类名之实

 

0-1 Law for Modal Logic

 

Mar. 12

Wen Tang

(唐闻)

Qianli Ma

(马千里)

 Substitution as modalities

 

关于学习理论的动态逻辑

 
Mar. 19

Weiwei Chen

(陈伟伟)

An Axiomatic Approach to Collective Decision-Making through Abstract Argumentation: Static and Dynamic Perspectives

 
Mar. 26

Beyong-uk Yi

Classical Mereology and Plural Identity

 

Mar. 29

(Friday)

Wesley Holliday

Modal logic, fundamentally

 

Apr. 1

(Monday)

Fan Yang

(杨帆)

A complete logic for first-order team properties

 

Apr. 9

Søren Knudstorp    
Apr. 16

Xubing Deng

(邓徐冰)

Linzhen Gong

(龚霖振)

 

 
Apr. 23

Zhiguang Zhao

(赵之光)

&

Xiaoxuan Fu

(付小轩)

   
Apr. 30

 

holiday  
May. 7

Alexandru Baltag

&

Sonja Smets

   

May. 16

(Thursday)

Guozhen Shen

(申国桢)

   

May. 21

Bo Hong

(洪博)

Yunsong Wang

(王云崧)

 

 
May. 28

Wen Tang

(唐闻)

Qianli Ma

(马千里)

   
Jun. 4

Xubing Deng

(邓徐冰)

Linzhen Gong

(龚霖振)