一阶时态逻辑系统及其在程序中的一个应用 |
| |
引用本文: | 唐同诰
,张霭珠.一阶时态逻辑系统及其在程序中的一个应用[J].复旦学报(自然科学版),1984(1). |
| |
作者姓名: | 唐同诰 张霭珠 |
| |
摘 要: | 随着程序科学研究的不断深入,用于研究的工具也不断改进.从最初使用古典逻辑、普通的模态逻辑,直到现在已经有人使用了时态逻辑.各种新的时态算子的不断涌现,使得对每一种新开拓的时态逻辑系统都必须证明其完全性定理.此外,现今的时态逻辑主要还是“命题形式”的,怎样把它推广到一般的谓词形式的时态逻辑,也有必要进行研究.特别,以往在程序中使用时态逻辑的时候,仅仅是用时态逻辑来描述程序的一些性质,而没能把程序与时态逻辑放到一个公理化的形式系统里加以讨论. 在本文里,我们力图把已知的一类很大的逻辑,统一在一个称为一阶时态逻辑的公理系统里加以研究.在对这个谓词演算的一阶时态逻辑系统进行深入研究之后,我们就可
|
本文献已被 CNKI 等数据库收录! |
|