《模态逻辑导论》求取 ⇩

第一部分3

第1章导言3

1.1 真值和可能世界4

练习14

1.2 系统S518

练习27

第2章 逻辑预备32

2.1 句法32

练习41

2.2 模型，真值和有效性43

练习50

2.3 过滤54

练习56

2.4 模态逻辑系统59

练习64

2.5 可公理化性66

练习69

2.6 极大性和林登堡姆引理69

练习76

2.7 可靠性、完全性和典型模型77

练习79

2.8 可判定性和有限模型性质81

练习83

第二部分87

第3章模态逻辑的标准模型87

3.1 标准模型88

练习92

3.2 模式D,T,B,4和599

练习106

3.3 模式Gk,l,m,n111

练习117

3.4 生成模型122

练习127

3.5 过滤130

练习135

3.6 过滤续论137

练习145

第4章 正规模态逻辑系统147

4.1 正规系统148

练习157

4.2 替换和对偶161

练习168

4.3 模式D,T,B,4和5169

练习180

4.4 模态189

练习198

4.5 正规系统中的极大集201

练习204

第5章 正规系统的确定和可判定性206

5.1 可靠性206

练习210

5.2 模态结语214

练习215

5.3 完全性：基本定理217

练习220

5.4 确定221

练习227

5.5 KGk,l,m,n230

练习232

5.6 可判定性234

练习237

第6章 义务逻辑238

6.1 标准义务逻辑238

练习240

6.2 进一步的原则241

练习243

6.3 义务和时间244

练习248

6.4 过去时义务248

练习250

6.5 不足251

练习253

第三部分257

第7章模态逻辑的极小模型257

7.1 极小模型257

练习261

7.2 模式M,C和N266

练习271

7.3 增广273

练习277

7.4 模式D,T,B,4和5277

练习279

7.5 过滤282

练习285

第8章 经典模态逻辑系统288

8.1 经典系统288

练习291

8.2 单调系统和正则系统291

练习299

8.3 其他模式304

练习306

第9章 经典系统的确定和可判定性308

9.1 可靠性308

练习310

9.2 完全性：基本定理313

练习316

9.3 确定318

练习322

9.4 模式D,T,B,4和5323

练习325

9.5 可判定性326

练习327

第10章 条件逻辑330

10.1 条件性330

练习333

10.2 条件义务335

练习338

10.3 定义的条件义务339

练习340

参考文献精选342

术语表346

译后记353