您的位置： 专家智库 > >

博士科研启动基金(B2011006)

作品数：1 被引量：0H指数：0
相关作者：王梦吴应江冯天亮丘文峰白金山更多>>
相关机构：广东医学院更多>>
发文基金：博士科研启动基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇行为时序逻辑
  • 1篇语法
  • 1篇语义
  • 1篇时序逻辑
  • 1篇自反
  • 1篇自反性
  • 1篇线性时序逻辑

机构

  • 1篇广东医学院

作者

  • 1篇白金山
  • 1篇丘文峰
  • 1篇冯天亮
  • 1篇吴应江
  • 1篇王梦

传媒

  • 1篇现代计算机（...

年份

  • 1篇2014
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
行为时序逻辑与自反线性时序逻辑的关系
2014年
为了能够将哲学逻辑中的公理系统运用到行为时序逻辑的研究中,对行为时序逻辑公式的语义进行形式化定义,从语义和语法两方面研究行为时序逻辑公理系统和具有自反性质的线性时序逻辑公理系统之间的联系,提出并证明行为时序逻辑公式转换为自反线性时序逻辑公式的定理。按照集合论和模型论的思想,定义行为时序逻辑中项和行为时序逻辑原子公式的概念,定义Lesilie Lamport所提出的行为时序逻辑公式的语义。证明自反线性时序逻辑公理系统适用于行为时序逻辑公理系统,以此为基础证明行为时序逻辑的简单规则、基本规则和附加规则。
白金山冯天亮吴应江丘文峰王梦
关键词：行为时序逻辑语义语法自反性
全选 清除 导出
共1页<1>
聚类工具0