分支时空结构上的时空逻辑.pdfVIP

StudiesinLogic,Vol.9, No. 4 (2016): 85–99 PII:1674-3202(2016)-04-0085-15 * ATemporal-SpatialLogicforBranchingSpace-times Hu Liu InstituteofLogic and Cognition, Sun Yat-senUniversity liuhu2@mail.sysu.edu.cn Abstract. Branchingspace-times,whichwasproposedby(Belnap,1992),isaframeworkthat generalizes branching time by introducing a space-like relation to “our world”. We present in