N系统:一个自然时序演绎系统

近年来,时序逻辑已成为程序和动态信息系统的描述与验证的一个强有力的工具。本文提出了一个可以很容易扩展到其它时序情形的命题时序逻辑的自然演绎系统——N系统。在N系统内,推理规则分成两组:水平推理规则和垂直推理规则。