|
|||||
|
|
| 中介时序逻辑系统MTL的模型论性质 | |
| 作者姓名： | 施庆生 朱梧檟 |
| 作者单位： | 南京航空航天大学计算机科学与工程系!南京210016 |
| 基金项目： | 国家高技术研究发展计划,国家基础研究“攀登计划”资助项目 |
| 摘 要： | 时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备. |
| 关 键 词： | 逻辑系统 模型论 中介时序逻辑 可传 连通 过滤 |
| 本文献已被 CNKI 等数据库收录！ | |