论文部分内容阅读
更新语义认为句子的意义在于改变了主体的信息状态。Veltman用更新语义刻画了一个关于认知的可能性的模态词might,S5系统相对于Veltman提出的更新语义是可靠的和完全的。在更新语义的基础上可以用形如φ;ψ公式刻画句子先φ后ψ的次序,对应的公理系统S5S也是可靠的和完全的。
一个刻画句子顺序的逻辑
【摘 要】
：
更新语义认为句子的意义在于改变了主体的信息状态。Veltman用更新语义刻画了一个关于认知的可能性的模态词might,S5系统相对于Veltman提出的更新语义是可靠的和完全的。在更
【机 构】
：
怀化学院政法系
【出 处】
：
湖南科技大学学报：社会科学版
【发表日期】
：
2013年5期
【基金项目】
：
国家社科基金项目“信息变化的逻辑研究”（12CZX055）, 湖南省教育厅项目“信息更新逻辑的完全性研究”（12C0856）
其他文献
目的：对腰椎间盘镜手术（micro endoscopic discectomy,MED）与传统开放椎间盘切除术（opening discectomy,OD）治疗腰椎间盘突出症的疗效及安全性进行Meta分析。方法：计算机检索2006年
新历史主义文艺思潮作为各种形式主义和传统历史主义的挑战者崛起于新时期文坛,显示出文学批评和创作向历史文化深层拓展的强劲势头.然而,从理论与实践的结合层面全面审视,它
用途：目前用于装饰的玻璃涂料是溶剂型的自干漆和烤漆，存在溶剂挥发，污染严重，且固化时间长的缺点。紫外光固化涂料具有固化速度快、能耗低、污染低等优点，近年来在塑料、纸张、木
聚丙烯酰胺在纯碱生产中主要应用于精盐水中杂质的沉降,本文通过对聚丙烯酰胺理化性能分析,探讨影响絮凝沉降效果的主要指标—聚丙烯酰胺分子量的测定方法,从而为准确指导生
目的：探讨子宫动脉化疗栓塞治疗完全性胎盘植入的疗效和安全性。方法：选择2009年1月至2014年10月由外院转至本院或在本院经阴道分娩及引产后诊断为完全性胎盘植入的患者25例为
针对辽河东部凹陷红星地区驾31块沙一段薄层砂岩油藏断层展布的多解性,及薄层砂体分布的不确定性,运用三维地震构造精细解释技术对该区进行了深入的构造研究,并分析了油气成
目的：分析研究急诊内科昏迷患者临床诊断及处理方法。方法：选取笔者所在医院急诊内科2013年2月-2015年2月接收的昏迷患者120例,对其相关资料给予回顾性分析,对其临床诊断及处理