本文關(guān)鍵詞：基于K4的超模態(tài)邏輯

  更多相關(guān)文章： 超模態(tài)算子 傳遞框架 擴充語義學(xué) 翻譯定理 K[T· K·

【摘要】：D.M.Gabbay在"超模態(tài)邏輯理論:模態(tài)邏輯中的模轉(zhuǎn)換"一文中建立了基于任意框架上的超模態(tài)邏輯語義學(xué)以及第一個超模態(tài)邏輯Hs i。該文旨在于擴充語義學(xué),將任意框架上的超模態(tài)邏輯語義學(xué)擴充到傳遞框架上,并嘗試構(gòu)建一個K4以上的超模態(tài)邏輯K4[T,K],主要研究K4、S4超模態(tài)算子性質(zhì),特別是關(guān)于它疊置的歸約問題。
【作者單位】： 北京大學(xué)哲學(xué)系;
【關(guān)鍵詞】： 超模態(tài)算子 傳遞框架 擴充語義學(xué) 翻譯定理 K[T· K·
【分類號】：B812
【正文快照】： 一基于K4的超模態(tài)邏輯語義學(xué)Michael Gabbay將所有那些語詞的邏輯含義依賴于它在公式中所出現(xiàn)的位置的語詞稱為“超”(hy-per)語詞。比如,超量詞,同一量詞在復(fù)合句中的不同位置而含義不同。又如,超模態(tài)詞,同一模態(tài)詞在復(fù)合句中的不同位置而含義不同。D.M.Gabbay第一次對這類模，

本文編號：1087275