西溪逻辑论坛第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 →

西溪逻辑论坛第97期 Date: 7 December 2018 (13:30-15:00) Venue: Room 259, Main Teaching Building, Xixi Campus, Zhejiang University Speaker: Dr. Quanlong Wang (University of Oxford) Title: Categorical Quantum Mechanics and the Quantum Diagram Reasoning System Abstract: The standard framework for quantum theory was given by … Continue reading →