一个刻画句子顺序的逻辑

摘要：

更新语义认为句子的意义在于改变了主体的信息状态.Veltman用更新语义刻画了一个关于认知的可能性的模态词might,S5系统相对于Veltman提出的更新语义是可靠的和完全的.在更新语义的基础上可以用形如φ；Ψ公式刻画句子先φ后Ψ的次序,对应的公理系统S5S也是可靠的和完全的.

关键词：更新语义、句子次序、公理化系统、可靠性、完全性

所属期刊栏目：16

分类号：B815.3(逻辑学(论理学))

资助基金：国家社科基金项目"信息变化的逻辑研究"12CZX055;湖南省教育厅项目"信息更新逻辑的完全性研究"12C0856

在线出版日期：2013-11-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：27-30