简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:在孔子思想中,诚信作为一项重要的道德规范,在社会生活的诸多领域发挥着重要作用。就每一个人而言,它是人自身安身立命、成就事业的基础和条件;就人们之间的关系而言,它是人与人之间正常交往、友好相处、建立良好人际关系的重要纽带;就经济和商业活动而言,它是降低成本、提高效益、保障其健康有序运行的前提;就社会政治领域而言,它是基本的立国立民之道,是一个社会文明繁荣、稳定发展的重要保证。今天,在诸多生活领域出现所谓“信用危机”的情况下,批判地继承和弘扬孔子的诚信思想,深入挖掘传统诚信资源,确立诚信观念,对于和谐的人际关系的建立,对于克服经济活动、人际交往和政府行为中的信用危机和失信现象,对于实现社会风气的根本好转,都有着极为重要的意义。