關于我們
書單推薦
新書推薦

正規(guī)多模態(tài)邏輯研究

正規(guī)多模態(tài)邏輯研究

定  價:98 元

        

  • 作者:趙賢
  • 出版時間:2024/5/1
  • ISBN:9787030782397
  • 出 版 社:科學出版社
  • 中圖法分類:B815.1 
  • 頁碼:206
  • 紙張:
  • 版次:1
  • 開本:B5
9
7
7
8
8
7
2
0
3
3
9
0
7

讀者對象:適合邏輯學專業(yè)、哲學專業(yè)、數(shù)學專業(yè),以及計算機領域的研究人員參考閱讀。

模態(tài)邏輯是現(xiàn)代邏輯研究的重要領域,多模態(tài)邏輯則是模態(tài)邏輯研究的前沿領域。多模態(tài)邏輯是包含兩種或兩種以上模態(tài)算子的模態(tài)邏輯系統(tǒng),且算子之間不可規(guī)約,它是模態(tài)邏輯的重要組成部分。本書以模態(tài)交互作用公理為視角,構(gòu)建了多模態(tài)邏輯一般系統(tǒng),為形式化研究各種類型的模態(tài)提供了一般的邏輯框架;證明了多模態(tài)邏輯一般系統(tǒng)的完全性、對應性、可判定性等元邏輯問題的一般性結(jié)論;揭示了多模態(tài)邏輯的哲學背景及其解題功能,論述了多模態(tài)邏輯在哲學中的應用價值。

更多科學出版社服務,請掃碼獲取。
 你還可能感興趣
 我要評論
您的姓名   驗證碼: 圖片看不清?點擊重新得到驗證碼
留言內(nèi)容