报告人：林凯杨
题目：Complete Axiomatizations for Reasoning About Knowledge and Time
时间：9月29日 15:00-18:00
地点：二教413
