互模擬理論的邏輯研究

序
緒論
第一節(jié) 研究背景
第二節(jié) 研究意義
第三節(jié) 研究思路
第四節(jié) 主要工作
第一章 互模擬理論研究概況
第一節(jié) 模態(tài)邏輯中互模擬理論的研究概況
一、互模擬產(chǎn)生的動因
二、互模擬的誕生
三、互模擬的運(yùn)用研究
四、互模擬的純理論研究
第二節(jié) 集合論中互模擬理論的研究概況
一、互模擬的萌芽（1926-1982）
一、互模擬的產(chǎn)生及初步研究（1983-1987）
三、互模擬的深入研究（1988-2001）
四、互模擬的拓展研究（2002- ）
第一部分 互模擬與模態(tài)邏輯
第二章 模態(tài)邏輯中互模擬的基本理論
第一節(jié) 互模擬的定義
一、加標(biāo)轉(zhuǎn)換系統(tǒng)及相關(guān)概念
二、互模擬的定義
第二節(jié) 互模擬的基本性質(zhì)
第三節(jié) 互模擬證明方法
第四節(jié) 互模擬與模態(tài)邏輯
一、基礎(chǔ)知識
二、互模擬及其不變性
三、互模擬等價性
四、互模擬與模態(tài)等價性之關(guān)系
第三章 互模擬與模型構(gòu)造
第一節(jié) 經(jīng)典的模態(tài)邏輯模型構(gòu)造方法
一、不相交的并
一、生成子模型
三、有界態(tài)射
第二節(jié) 兩種非經(jīng)典的模態(tài)模型構(gòu)造方法：凸起和壓延
一、凸起
二、壓延
第三節(jié) 模語言等價與模互模擬的商模型
一、∑．過濾商模型
一、模語言等價的商模型
三、?；ツM的商模型
四、模語言等價的商模型與?；ツM的商模型之間的關(guān)系
第四章 雙模擬
第一節(jié) 雙模擬的定義和性質(zhì)
一、雙模擬的定義
一、模擬和雙模擬的一些基本性質(zhì)
第二節(jié) 雙模擬與模擬、互模擬之間的關(guān)系
第三節(jié) 雙模擬與模態(tài)邏輯
一、模型上的雙模擬定義
二、有關(guān)雙模擬的一些事實(shí)
第五章 互模擬和有界互模擬
第一節(jié) 基本概念
第二節(jié) 集合
……
第二部分 互模擬與非良基集合
第三部分 模態(tài)邏輯、非良基集合與互模擬