西溪逻辑论坛第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 Central Universities)