简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:引言:档案是人类历史的真实记录,是人类文明进步的阶梯是优秀文化遗产流传的载体,是"今世赖之以知古,后世赖之以知今"的历史文化财富,有着"历史科学的粮仓"之称。随着时代的变迁,教会有些珍贵的资料在非常年代已不复存留,其损失真是无法估量.做好教会档案管理工作,对教会健康发展具有十分重要的意义:科学规范化管理档案,是衡量教会管理水平的重要尺度,也是神在教会中赐下丰富恩典的历史凭证.近年来,各地教会和各级基督教两会意识到档案管理的重要性,并着手收集资料和鳊撰教会历史,为今后的教会发展提供宝贵的财富.本文就教会档案管理这一话题谈点粗浅的看法.