互模擬理論的邏輯研究

內容簡介

本書從邏輯的角度研究互模擬，主要以模型論、集合論和模態邏輯的知識為背景，意在從歷史層面揭示互模擬在模態邏輯和非良基集合論中的發展過程，從理論層面探討互模擬的基本理論和作用。

本書的內容主要包括互模擬的發展歷程、互模擬的基本理論和性質、互模擬與模態等價之間的關係、基於互模擬的模態模型構造技術、基於互模擬的非良基集合的分類和方程組的解引理、基於互模擬的模態邏輯與非良基集合論之間的內在聯繫、"雙模擬"的概念和性質。

序

第一部分互模擬與模態邏輯

第二部分互模擬與非良基集合

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

後記