简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:<正>党的十四届六中全会通过的《中共中央关于加强社会主义精神文明建设若干重要问题的决议》指出:如何在深化改革、建立社会主义市场经济体制的条件下,形成有利于社会主义现代化建设的共同理想、价值观念和道德规范,防止和遏制腐朽思想和丑恶现象的滋长蔓延,这是在社会主义现代化进程中必须认真解决的一个历史性课题.而探讨和推动社会主义市场经济条件下的经济伦理建设,则是解决这一重大历史性课题的重要内容.社会主义市场经济孕育和催生了新的经济伦理,而新经济伦理又成为经济发展的精神动力,并约束、规范其健康发展的重要手段.加强新经济伦理建设,对于社会主义市场经济新秩序的形成,对于推动社会文明的进步,发挥着越来越大的作用.