时态逻辑

时态逻辑，时态逻辑,shitai luoji，时态,逻辑,luoji,shitai，[拼音]：shitai luoji[外文]：tense logic非经典逻辑的一个分支学科。其研究对象是，把含有时态动词的语句形式化，并且把含有这种语句的推理系统化。创立过程早在古希腊时期，麦加拉－斯多阿学派在讨论模态概念时就已经涉及到时间概念（见麦加拉－...