论时态逻辑的新发展  

作　　者：冯彦波[1] 

机构地区：[1]河南检察职业学院,河南郑州450002

出　　处：《郑州航空工业管理学院学报（社会科学版）》2008年第4期9-11,共3页Journal of Zhengzhou University of Aeronautics(Social Science Edition)

摘　　要：自20世纪80年代以来,在哲学、计算机科学、人工智能、语言学等诸多领域的推动下,时态逻辑取得了新的发展。主要表现为区间时态逻辑、行为时态逻辑的创立以及时态逻辑与模态逻辑的结合。对这些新的发展进行研究,既具有重大理论意义,又具有重要的实际应用价值。

关 键 词：区间时态逻辑 时态逻辑与模态逻辑的结合 行为时态逻辑 

分 类 号：B815.5[哲学宗教—逻辑学]