文章摘要
基于K4的超模态逻辑
A Hypermodal Logic Based on K4
  
DOI:
中文关键词: 超模态算子  传递框架  扩充语义学  翻译定理  K4[T·,K·]
英文关键词: hypermodalities  transitive frame  extending semantics  Translation Theorem  K4[T·,K·]
基金项目:
作者单位
许春梅,刘壮虎 北京大学 哲学系北京 100871 
摘要点击次数: 1088
全文下载次数: 1205
中文摘要:
      D.M.Gabbay在“超模态逻辑理论:模态逻辑中的模转换”一文中建立了基于任意框架上的超模态逻辑语义学以及第一个超模态逻辑si。该文旨在于扩充语义学,将任意框架上的超模态逻辑语义学扩充到传递框架上,并尝试构建一个K4以上的超模态逻辑K4[T·,K·],主要研究K4、S4超模态算子性质,特别是关于它叠置的归约问题。
英文摘要:
      In “A theory of hypermodal logics: Mode shifting in modal logic” D.M.Gabbay founded a semantics of hypermodal logics based on any frame. He is the first one who founded a hypermodal logic si,. Well, Following Gabbay's paradigm, my thesis is to expand the semantics to transitive frames, based on which we are going to found a logic K4[T·,K·].There, we are going to study the properties of two kinds of hypermodalities K4 and S4, espectially of the problem of nested hypermodalities.
查看全文   查看/发表评论  下载PDF阅读器
关闭