Workshop on Modal Logic (WoML’18)
模态逻辑研讨会
时间：2018年12月8-9日
地点：浙江大学西溪校区（杭州市西湖区天目山路148号）
会场：教学主楼259室
住宿：圆正·西溪宾馆（保俶北路1号，浙大西溪校区东南角）
会议主题：本次会议参会者以模态逻辑领域的国内研究者为主。围绕模态逻辑研究（可涵盖与之相关的哲学逻辑和应用逻辑的任意分支），大家各自报告近期的研究成果或所看到的他人有价值的论文等，以期增进彼此的学术联系和合作。除学术研究问题外，我们还将展开国内模态逻辑教学等相关议题。
日程安排：单个报告时长上限为30分钟，可有额外的讨论时间。（建议报告人制作10-15页幻灯片，最后一页可以放上自家宠物（猫、狗、植物等）、感兴趣的事物或者工作或生活环境的照片:-P）
| 开始时间 | 周六 | 周日 |
|---|---|---|
| 09:00 | 琚凤魁（北京师范大学） Coalitional logic on isolated actions | 钟盛阳（北京大学） On relational semantics of propositional logic |
| 09:50 | 李延军（南开大学） Single-agent knowing how logics motivated by planning | 徐康（浙江水利水电学院） 群体简单宣告逻辑 |
| 10:40 | 刘新文（中国社会科学院） Peirce's Puzzle | 俞珺华（清华大学） On some non-well-founded modal sequent calculi |
| 13:30 | 马明辉（中山大学） Weakenings of Belnap-Dunn logic | |
| 14:20 | 王轶（浙江大学） Logics of allies and enemies: a formal approach to the social balance theory | |
| 15:10 | 文学锋（中山大学） 模态逻辑教学和教材中易犯的几个错误 |
合影：
