时间：周二15:10-18:00 地点：三教201
|
时间 |
报告人 |
评议人 |
题目 | 附件 |
| 2月22日 | 钟盛阳 | Propositional Logic and Modal Logic - A Connection via Relational Semantics | ||
| 3月1日 | 王一廷 | Logic omniscience and algorithmic knowledge | ||
| 3月8日 | Robert Passmann (Online) | On the logical structure of constructive set theories | ||
| 3月15日 | 何思源 | 王一廷 | Intrinsic Property | |
| 3月22日 | 洪博 | 王昊玉 |
Baltag and van Benthem: A Simple Logic of Functional Dependence |
|
| 3月29日 | 王云崧（线上） |
Topological Semantics and Evidential-based Epistemic Logic |
||
| 4月5日(清明节放假) | ||||
| 4月12日 | 张立英 |
《弘明集》的逻辑学价值辨析 |
||
| 4月19日 | 王全龙（线上） | 会遇之际：范畴论、量子计算、唯识学及意识理论 | ||
| 4月26日 | 秦云飞 |
Cylindrical space and its application in first-order model theory |
||
| 5月3日(劳动节放假) | ||||
| 5月10日 | 青慈阳（线上） | Cross-linguistic patterns in the selectional restrictions of non-veridical preferential predicates | ||
| 5月17日 | 王潇扬（线上） | 王昊玉 | Tense logics over lattices | |
| 5月24日 | 曾德坤（线上） | Reasoning about strategy- an overview of ATL and SL | ||
| 6月1日 |
Toby Meadows （Online） |
Of Sheep and Wolves | ||
| 6月7日 | Ivano Ciardelli(Online) |
Modalities in the realm of questions |