时间逻辑

前言本书研究和分析时间、时态、时相,时间顺序等及其逻辑结构。研究中,虽然主要定理都是用符号来表示的,但是避免了对每个定理的数式证明和公理系统,专以图表或例示来加以说明。这就遵循了本丛书的一般宗旨,较为明白易懂。(注)