时间：2018年3月5日至16日，周一、三、五，10:00-11:40

地点：北京师范大学教七楼509教室

课程主题：Temporal Logics in Computer Science

课程大纲： 

Lecture 1: Introduction to temporal reasoning, models and logics. Prior’s basic temporal logic.

Lecture 2: Extensions of Prior's tense logic.

Lecture 3: Linear time temporal logics.

Lecture 4: Branching time temporal logics.

Lecture 5: Multi-agent (alternating-time) temporal logic (ATL).

Lecture 6: Interval temporal logics.

个人简介：Valentin GORANKO，男，1959年出生，瑞典斯德哥尔摩大学教授。1984年毕业于保加利亚索亚菲大学后，先后任教于保加利亚、南非、丹麦。Goranko教授一直致力于Temporal Logic的研究和教学，作为主要完成人的研究成果有Temporal Logics in Computer Science，Logic as a Tool: A Guide to Formal Logical Reasoning。逻辑学著作10本，第一作者论文100余篇。作为硕士生、博士生以及博士后导师，培养了一大批逻辑学领域的高端人才。自任教以来，主持和参与多个课题项目研究。目前正在主持的课题项目是Dynamical multi-agent systems: modelling, algorithmic verification and synthesis， 课题资金来源于瑞典研究理事会。

北京师范大学哲学学院

逻辑与认知科学研究所