中国科学院数学与系统科学研究院期刊网
现代逻辑的一个规范化理论——一阶时态逻辑
唐同诰;张霭珠
数学学报 . 1987, (2): 152 -159 .  DOI: 10.12386/A1987sxxb0013