命题时态逻辑的分划式扩充 |
| |
引用本文: | 沈恩绍.命题时态逻辑的分划式扩充[J].软件学报,1996,7(A00):447-454. |
| |
作者姓名: | 沈恩绍 |
| |
摘 要: | 在PTL(propositional temporal logic)上加入一个U算子的自然拓广-2分划算子,便导出了Wolper-Vardi-Sistla之ETL(extend PTL)的一个完全的子逻辑,它有更简洁的语法及公理系统、更好地判定算法等,是研究有限状态并发程序的一种理想的规范语言。
|
关 键 词: | 命题时态逻辑 分划式扩充 形式规范语言 |
本文献已被 维普 等数据库收录! |
|