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 Features of (Un)decidable Logics  
Apr. 16

Xubing Deng

(邓徐冰)

Linzhen Gong

(龚霖振)

Incompleteness via paradox
 
几何定理机器证明与Hilbert机械化定理
 
Apr. 22

Jason Chen

陈泽晟

Justification by confluence  
Apr. 23

Zhiguang Zhao

(赵之光)

&

Xiaoxuan Fu

(付小轩)

Modal Logic with Counting  

Apr. 26

(Friday)

Valentin Goranko

Logics for Strategic Reasoning of Socially Interacting Rational Agents

 

Apr. 30

 

holiday  

May. 10

(Friday)

Sonja Smets

&

Alexandru Baltag

Reasoning about Epistemic Superiority and Data Exchange

&

Data-exchange events with preconditions and knowledge of values

 

May. 16

(Thursday)

Guozhen Shen

(申国桢)

康托定理在ZF中的推广  

May. 21

Bo Hong

(洪博)

Yunsong Wang

(王云崧)

墨辩研究

 

Infinitesimal Probabilities

 
May. 28

Wen Tang

(唐闻)

Qianli Ma

(马千里)

Symbolic implementation of the best transformer

 

Logic for intensional operators and non-existence

 
Jun. 4

Xubing Deng

(邓徐冰)

Linzhen Gong

(龚霖振)

Incompleteness via paradox II

 

非标准分析视角下的数学结构