互模擬理論的邏輯研究

互模擬理論的邏輯研究

《互模擬理論的邏輯研究》是2016年科學出版社出版的圖書,作者是姚從軍。

基本介紹

  • 中文名:互模擬理論的邏輯研究
  • 作者:姚從軍
  • 類別:哲學
  • 出版社:科學出版社
  • 出版時間:2016年07月
  • ISBN:9787030486202
內容簡介,圖書目錄,

內容簡介

本書從邏輯的角度研究互模擬,主要以模型論、集合論和模態邏輯的知識為背景,意在從歷史層面揭示互模擬在模態邏輯和非良基集合論中的發展過程,從理論層面探討互模擬的基本理論和作用。
本書的內容主要包括互模擬的發展歷程、互模擬的基本理論和性質、互模擬與模態等價之間的關係、基於互模擬的模態模型構造技術、基於互模擬的非良基集合的分類和方程組的解引理、基於互模擬的模態邏輯與非良基集合論之間的內在聯繫、"雙模擬"的概念和性質。

圖書目錄

第一部分互模擬與模態邏輯
第二部分互模擬與非良基集合
第三部分模態邏輯、非良基集合與互模擬
後記

相關詞條

熱門詞條

聯絡我們