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
»
News
» 11月1日 董惠敏报告
Events
News
Seminars
Scholarship
Others
LLCC
News
Events
News
Seminars
Scholarship
Others
LLCC
11月1日 董惠敏报告
发布日期:2022-11-01
作者:
11月1日,董惠敏做了题为《面向霍菲尔德法权的逻辑与计算》的报告,用动态道义逻辑为霍菲尔德的法权框架建模。