命题时态逻辑相关论文
线性命题时态逻辑(LPTL)可定性地描述系统的时间特性,自动机可用于计算机系统的建模。LPTL与自动机之间有着紧密的联系。结合LPTL语义......
LPTL(Linear Proposition Temporal Logic)与自动机之间有着紧密的联系,结合LPTL语义和语法,提出一种从LPTL公式导出Bchi自动机的......
分划扩充命题时态逻辑通过加入分划算子P1,1,增强了经典命题时态逻辑的表达能力.本文就该扩充逻辑关于stutter不变性的研究,给出了......
提出一种新的时态逻辑-一阶间隔时态逻辑(FOITL),它是扩充了间隔时间算子的一阶时态逻辑。它能精确地描述数字电路的时间特性,支持连续和离散......
LPTL与自动机之间有着紧密的联系,结合LPTL语义和语法,提出一种从LPTL公式导出Buchi自动机的方法。导出的Buchi自动机所接受的语言准确地表达了LPTL公式所描述的......
在PTL(propositional temporal logic)上加入一个U算子的自然拓广-2分划算子,便导出了Wolper-Vardi-Sistla之ETL(extend PTL)的一个完全的子逻辑,它有更简洁的语法及公理系统、更好地判定算法等,是研究有......
'半费之讼'问题是一个涉及法律和逻辑的问题,该问题已经被讨论了上千年之久,但却始终没有一个被广泛接受的解答,在此笔者......