基于K4的超模态逻辑

发布时间：2017-10-24 05:30

  本文关键词：基于K4的超模态逻辑

  更多相关文章： 超模态算子 传递框架 扩充语义学 翻译定理 K[T· K·

【摘要】：D.M.Gabbay在"超模态逻辑理论:模态逻辑中的模转换"一文中建立了基于任意框架上的超模态逻辑语义学以及第一个超模态逻辑Hs i。该文旨在于扩充语义学,将任意框架上的超模态逻辑语义学扩充到传递框架上,并尝试构建一个K4以上的超模态逻辑K4[T,K],主要研究K4、S4超模态算子性质,特别是关于它叠置的归约问题。
【作者单位】： 北京大学哲学系;
【关键词】： 超模态算子 传递框架 扩充语义学 翻译定理 K[T· K·
【分类号】：B812
【正文快照】： 一基于K4的超模态逻辑语义学Michael Gabbay将所有那些语词的逻辑含义依赖于它在公式中所出现的位置的语词称为“超”(hy-per)语词。比如,超量词,同一量词在复合句中的不同位置而含义不同。又如,超模态词,同一模态词在复合句中的不同位置而含义不同。D.M.Gabbay第一次对这类模，

本文编号：1087275