混合语言与时态逻辑

作者：王辉

来源：湖南科技大学学报(社会科学版), 2009, (02): 32-35.

• 混合语言
• 时态逻辑
• 模态逻辑 Hybrid languages
• temporal logic
• modal logic

混合语言是扩张的命题的模态语言,它能指称(甚至量化)状态。近年来,混合语言的流行主要有两点原因[1]45:首先,语言表达力的增强,它能定义许多一般模态语言无法定义的框架性质,典型的例子,如禁自返性(i→‘◇i)、反对称性((i∧◇(j∧◇i))→j)等。混合语言流行的另一个主要原因是,使用纯公式公理化得到的逻辑系统有一般完全性的结果。

• 单位
  中国人民大学