Category Archives: ZJU Events

All events at Zhejiang University

Fengkui Ju: CTL with Dynamic Contexts

Xixi Logic Posted on by

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

Haiyan Zhou: Logic Modelling for Personal Narrative Alternative Phenomenon

Xixi Logic Posted on by

西溪逻辑论坛第111期 Date: 23 April 2019 (9:00-11:00) Venue: Room 259, Main Teaching Building, Xixi Campus, Zhejiang University Speaker: Haiyan Zhou Title: Logic Modelling for Personal Narrative Alternative Phenomenon Abstract: This research analyzes the personal narrative alternative phenomenon and constructs a logic … Continue reading →

PL&PL#37 S05 W10 [2019-04-18]

Xixi Logic Posted on by

西溪逻辑论坛第110期 “逻辑哲学与哲学逻辑”读书会第37次活动 主题：Acyclic Digraphs 领读人：董惠敏 时间：2019年4月18日（周四）12:30-15:15 地点：漫咖啡(黄龙店) “Philosophy of Logic and Philosophical Logic” Reading Group Season 5, Week 10, Series #37, Xixilogic #110 Supported by the Fundamental Research Funds for the Central Universities

Continue reading →