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 ...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.
文摘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.