Home
About
Logic at PKU
Notable logicians
About CLLC
People
Members
Postdocs
Students
Alumni
News
Events
News
Seminars
Scholarship
Others
LLCC
Admission
逻辑学科点介绍
博士生招生简介
博士生招生方向
博士生复试要求
硕士生招生简介
推免生复试要求
Teaching
Courses
Seminar Plans
Downloads
Research
Projects
Papers
Links
综合数据库
专业数据库
其它数据库
Home
About
Logic at PKU
Notable logicians
About CLLC
People
Members
Postdocs
Students
Alumni
News
Events
News
Seminars
Scholarship
Others
LLCC
Admission
逻辑学科点介绍
博士生招生简介
博士生招生方向
博士生复试要求
硕士生招生简介
推免生复试要求
Teaching
Courses
Seminar Plans
Downloads
Research
Projects
Papers
Links
综合数据库
专业数据库
其它数据库
Home
»
News
» Seminars
Events
News
Seminars
Scholarship
Others
LLCC
News
Events
News
Seminars
Scholarship
Others
LLCC
Seminars
2021-03-08
报告人:王昊玉 题目:Knowing how to understand inquisitive logic
2021-03-08
2021-01-04
Jan 5, Yanjing Wang: Knowing How to Understand Intuitionistic Logic
2021-01-04
2020-12-29
12月29日魏宇报告:《A Logical Framework for Understanding Why》
2020-12-29
2020-12-19
12月22日党学哲报告:《证据的逻辑》
2020-12-19
2020-12-15
12月15日叶峰教授报告《漫谈数学哲学及其他》
2020-12-15
2020-12-08
12月8日王轶伦报告:《QS4, Intuitionistic Logic and Forcing》
2020-12-08
2020-11-24
12月1日刘明明报告:《Universal Quantification in Mandarin》
2020-11-24
2020-11-19
报告人:胡兰双 题目:真理符合论:支持与反对
2020-11-19
2020-11-10
Prof. Alan Hajek:Omega
2020-11-10
2020-11-09
报告人:王昊玉:Formalizing the Meaning of Questions
2020-11-09
2020-11-02
报告人: 刘力恺 题目:一阶模态逻辑初步
2020-11-02
2020-10-22
报告人:李大柱 题目:Modal-logical Mereology
2020-10-22
2020-10-18
报告人:陈波 题目:《没有事实概念的新符合论》
2020-10-18
2020-10-12
报告人:林凯杨 题目:Complete Axiomatizations for Reasoning About Knowledge and Time
2020-10-12
2020-09-26
报告人:琚凤魁 题目:Formal language and semantics for temporal conditionals
2020-09-26
2020-09-22
报告人:王潇扬 题目:The Completeness Theorems for Lattices
2020-09-22
2020-06-02
报告人:杨睿之:集合论宇宙的一些有趣的限制结构
2020-06-02
2020-05-20
报告人:Dr. Fan Yang 题目: An overview of dependence logic
2020-05-20
2020-05-19
报告人:刘诗霄,陈至诚,Haag 定理及其现有证明、相对化一阶逻辑与ZFC ´∆0片段的公理化
2020-05-19
2020-05-11
报告人:徐超:带场景约束的自然语言自动形式化研究
2020-05-11
首页
上一页
下一页
尾页
第
7
页/共
9
页,共有
170
条记录
上一页
下一页