湖南科技大学学报：社会科学版
湖南科技大學學報：社會科學版
호남과기대학학보：사회과학판
journal of hunan university of science&technology
2014年
2期
25~30
,共null页
超模态算子 传递框架 扩充语义学 翻译定理 K4[T·,K·
超模態算子 傳遞框架 擴充語義學 翻譯定理 K4[T·,K·
초모태산자 전체광가 확충어의학 번역정리 K4[T·,K·
D.M.Gabbay在"超模态逻辑理论:模态逻辑中的模转换"一文中建立了基于任意框架上的超模态逻辑语义学以及第一个超模态逻辑Hs i。该文旨在于扩充语义学,将任意框架上的超模态逻辑语义学扩充到传递框架上,并尝试构建一个K4以上的超模态逻辑K4[T,K],主要研究K4、S4超模态算子性质,特别是关于它叠置的归约问题。
D.M.Gabbay在"超模態邏輯理論:模態邏輯中的模轉換"一文中建立瞭基于任意框架上的超模態邏輯語義學以及第一箇超模態邏輯Hs i。該文旨在于擴充語義學,將任意框架上的超模態邏輯語義學擴充到傳遞框架上,併嘗試構建一箇K4以上的超模態邏輯K4[T,K],主要研究K4、S4超模態算子性質,特彆是關于它疊置的歸約問題。
D.M.Gabbay재"초모태라집이론:모태라집중적모전환"일문중건립료기우임의광가상적초모태라집어의학이급제일개초모태라집Hs i。해문지재우확충어의학,장임의광가상적초모태라집어의학확충도전체광가상,병상시구건일개K4이상적초모태라집K4[T,K],주요연구K4、S4초모태산자성질,특별시관우타첩치적귀약문제。
