混合语言与时态逻辑
外文标题：Hybrid Languages and Temporal Logic
文献类型：期刊
作者：王辉[1]
机构：[1]中国人民大学哲学院
年：2009
期刊名称：湖南科技大学学报（社会科学版）
卷：12
期：2
页码范围：32-35
增刊：增刊
收录情况：中文核心期刊要目总览
所属部门：哲学院
语言：中文
ISSN：1672-7835
链接地址：http://d.g.wanfangdata.com.cn/Periodical_xtgxyxb-shkx200902006.aspx
DOI：10.3969/j.issn.1672-7835.2009.02.006
关键词：混合语言;时态逻辑;模态逻辑
摘要：混合语言是扩张的命题的模态语言.它能指称(甚至量化)状态.近年来,混合语言的流行主要有两点原因[1]45:首先,语言表达力的增强,它能定义许多一般模态语言无法定义的框架性质,典型的例子,如禁自返性(i→'◇i)、反对称性((I∧◇(j∧◇i))→j)等.混合语言流行的另一个主要原因是,使用纯公式公理化得到的逻辑系统有一般完全性的结果.
作者其他论文
首届中国媒体微博大会嘉宾发言摘要.郑志;喻国明;邹建华,等.传媒.2012,28-31.
中西医结合早期治疗青年学生重度踝关节扭伤.王大立;王辉.黑龙江医药科学.2013,36(3),92.
中西医结合保守治疗轻度儿童臀肌挛缩症.王大立;王辉.黑龙江医药科学.2013,36(2),108.
关于党的价值观与执政能力建设的思考.韩华;王辉.湖北社会科学.2005,27-28.
全局性模态词与基本模态语言的扩充.王辉.辽宁工业大学学报.2009,29(5),335-338.
