简介：双时间参数理论由贝尔纳普于2001年提出，该理论使用不同的语义解释参数构建以言行事行为的语境，以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数，这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先，我们在简要介绍双时间参数理论以及其中问题的基础上，给出修正方案的大体思路，即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次，我们将介绍分支时空逻辑中的主要内容。再次，我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后，我们将具体介绍对双时间参数理论的修正方案。

简介：《管子》一书是先秦时期独成一家的一部杂家著作,在诸子百家中占有重要地位。该书蕴含着丰富的国家安全思想,如国富兵强,慎战,亲仁睦邻等思想已在那时得到了明晰。这些宝贵的思想具有久远而深厚的文化底蕴,它们不仅为齐国的崛起奠定了理论基础,而且为历朝历代安攘内外,维系中国作为世界上唯一不曾中断几千年文明进程的国家发挥了很重要的历史作用。《管子》国家安全思想具有中国传统的独特性,可以作为当代国际政治理论知识谱系的补充,对当代国际政治研究将提供可资借鉴的理论价值。

简介：在中国历史上，关于国家安全问题的战略性思考起源于先秦时期，许多重要的指导思想和原则，如以民为本、和而不同、慎战、亲仁善邻等思想已在那时得到了明晰。这些宝贵的思想具有久远而深厚的文化基础。他们不仅为历朝历代安内攘外，维系中国作为世界上唯一不曾中断几千年文明进程的国家发挥了重要的历史作用。而且对于我们今天研究安全问题、制定国家安全战略提供了可资借鉴的价值。

简介：作为一种新型行政行为，目前学界对食品安全消费警示行为研究不多，对其法律性质以及相关法律问题认识不足。因此，厘清食品安全消费警示行为相关的法律问题并加以规制，对于保障公众健康，监督行政主体依法行政具有重要意义。食品安全消费警示具有行为性质上的不确定性，并非是一种类型化的行政行为，而是属于非类型化行政行为的范畴，其性质上表现为行政法律行为、行政事实行为两种基本形态。各级食品安全监管部门有权在日常检查中发布食品安全信息是法律法规设定的职权，不仅不构成越权，而且是其职责之所在。对食品安全消费警示行为的规制主要通过行政实体法、行政程序法以及司法控制。食品安全消费警示行为的发布，除法律法规的授权以外，至少需要有组织法上的依据，就食品安全消费警示行为尽可能规定出详细的授权范围以及完善的行政程序以及司法救济等，以便尽可能使发布食品安全消费警示行为法治化。

简介：青少年网络使用安全已经成为社会关注的焦点。本文在分析网络危害青少年身心健康原因基础上,提出借鉴日本网络法治和家庭监管并重的成功经验,以应对和从根本上解决我国青少年网络使用安全问题。