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

11月29日 阮立清报告

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

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