摘要
In the last decade temporal logic has been developed into an effective means of specifying and proving properties of programs and behaviour of dynamic information systems.This note presents a natural deduction system (N system) of propositional temporal logic, which can be easily and immediately extended to other temporal logics.
基金
Project supported by the National Natural Science Foundation of China, No. 6863022.
