【摘 要】
：
在本文中,通过在标准邻域模型中引入一个简单的模型性质,我们为偶然逻辑提供一个新的邻域语义。这简化了Fan and van Ditmarsch(2015)给出的邻域语义,同时不改变偶然逻辑的有
【基金项目】
：
This research is supported by the National Social Science Fundation of China(Grant No.17CZX053).
论文部分内容阅读
在本文中,通过在标准邻域模型中引入一个简单的模型性质,我们为偶然逻辑提供一个新的邻域语义。这简化了Fan and van Ditmarsch(2015)给出的邻域语义,同时不改变偶然逻辑的有效式。在这一新视角下,我们引入c-互模、单调c-互模、qf-互模等互模拟概念,并证明相应的Hennessy-Milner定理。另外,我们证明c-互模等价于文献中的nbh-Δ-互模,这有助于我们理解后者的本质。这一新视角也给我们提供了各种框架可定义性结果和公理化结果。
其他文献
近二十年来，由于独特感官特性，有机硅弹性体凝胶和粉末广泛地应用于各种个人护理产品配方中，用以提高产品肤感。通过大家熟知的硅氢化反应，使用普通的乙烯基线性硅氧烷和含氢硅油
椎基底动脉供血不足的高压氧疗效分析自治区医院兰茂升，李跃文，李瑛，纪福棠我科自１９９３年２月～１９９４年１１月使用高压氧（ＨＢＯ）共治疗椎基底动脉供血不足病人１５例，疗效分析报告如下。１临床资料１．１一般资料：男性１１例
报告１９９２年９月至次年１２月本校附属医院施行腹腔镜胆囊切除术（ＬＣ）３３０例．其中包括急性胆囊炎３５例和慢性萎缩性胆囊炎２１例；中转开腹手术１０例，开腹率３％，３３０例全部治愈，平均住院３．４天；发生重大并发症９例：胆总管切断２例，胆
前言近年来，玻尿酸（俗称透明质酸，HA）因为其作为化妆品成分的应用受到了广泛的关注。它最为卓越的特性在于它能锁住大约1000倍自身重量的水分。但是，作为化妆品成分，透明质酸在使用
二月主打星水瓶座：天性灵动、乐善好施,拥有一双善于捕捉时尚气息的眼睛,而且水瓶MM往往视角先于潮流,不只打扮时尚入时,有时甚至是＂超时＂,可以说水瓶MM是引领潮流的新新人类。
化妆品的主体原料——油 告别了上期强大的种类繁多的油质原料，我们继续来认识化妆品中的粉质原料。
黑眼圈让你气色暗沉、憔悴 对策：提高眼周肤色 我们知道，整个脸部的气色和光彩都在靠眼部肌肤传递，而我们的眼部往往是最先泄露你肌肤状态优劣的关键，也就是我们常说的“挂相”。如果你也经常遭受黑眼圈的“惯常拜访”，那就需要为你的眼部展开排毒工作了。 明眸术：清理化妆品残留+提亮+按摩排毒 眼妆残留是黑眼圈的外来毒素，在护眼开始之前，请记得你是否请走了这位“不速之客”。记住在给眼部卸妆的时
花情绽放的女人执著于自己孩童时的愿望，期待能艳压君芳。这一系列的必备单品，花情绽放四宫格粉饼和花情绽放四宫格腮红，其灵感来源于重生的渴望，以及Takagi Masakatsu（高木正胜）（电
随着生活节奏的加快,我们越来越需要快捷而简单的方式来提升我们的护肤状态。精油能美容大家早就知道,可是,你知道吗？精油完全可以称得上是护肤品里的全能型选手哦!美丽的你,