Home» News» News» 11月29日 阮立清报告

News

11月29日 阮立清报告

发布日期：2022-11-29 作者：

11月29日，阮立清做了题为《Tense Logic: Points and Periods》的报告，主要参考范丙申的《The Logic of Time》，介绍了基于时间点和基于时间段的时态逻辑。