西溪逻辑论坛第114期 Date: 8 May 2019 (15:00-17:00) Venue: Room 259, Main Teaching Building, Xixi Campus, Zhejiang University Speaker: Dr. Zachiri McKenzie (Shanghai Jiaotong University) Title: Comparing foundational theories of mathematics and understanding subsystems of ZFC Abstract: I will begin by briefly describing … Continue reading →
西溪逻辑论坛第113期 Date: 6 May 2019 (14:00-16:00) Venue: Room 259, Main Teaching Building, Xixi Campus, Zhejiang University Speaker: Prof. Piotr Kulicki (John Paul II Catholic University of Lublin) Title: Towards Deontic Logic for Autonomous Cars Abstract: Autonomous cars are one of … Continue reading →
西溪逻辑论坛第112期 Date: 6 May 2019 (09:30-11:30) Venue: Room 259, Main Teaching Building, Xixi Campus, Zhejiang University Speaker: Fengkui Ju (Beijing Normal University) Title: 带动态语境的计算树逻辑 (CTL with Dynamic Contexts) Abstract: 条件句理论有很多种，限制子理论是其中的一种，根据这个理论，“如果A”是一个限制语境的限制子。限制子理论可以解决许多涉及到条件句的逻辑谜题。将来式条件句是那些前件和后件都涉及到将来的条件句。本工作构造了一个逻辑CTL_{DC}，用以刻划涉及将来式条件句的推理。CTL_{DC}是计算树逻辑CTL的扩张，与CTL相比，CTL_{DC}的语义带有语境，语言带有语境改变算子。本工作是与斯德哥尔摩大学哲学系的Valentin Goranko合作进行的。 阅读材料：文章1 (Supported by the Fundamental Research Funds for the … Continue reading →
