Stit逻辑的判定问题
| 摘要 | 第7-8页 |
| ABSTRACT | 第8页 |
| 1 引言 | 第9-13页 |
| 1.1 研究背景 | 第9-11页 |
| 1.2 论文结构 | 第11-13页 |
| 2 非决定论框架 | 第13-29页 |
| 2.1 树与带族树 | 第13-16页 |
| 2.2 基底框架 | 第16-23页 |
| 2.3 同步基底框架 | 第23-29页 |
| 3 非决定论时态逻辑 | 第29-53页 |
| 3.1 L_m~1-基本语法与语义学 | 第29-31页 |
| 3.1.1 L_m~1-语法 | 第29-30页 |
| 3.1.2 L_m~1-语义学 | 第30-31页 |
| 3.2 有穷长度 | 第31-38页 |
| 3.3 有穷模型 | 第38-53页 |
| 3.3.1 P-同态像与互拟同态商 | 第39-45页 |
| 3.3.2 有穷性 | 第45-53页 |
| 4 一般逻辑 | 第53-75页 |
| 4.1 一般逻辑基本语法与语义学 | 第54-57页 |
| 4.1.1 一般逻辑语法 | 第54页 |
| 4.1.2 一般逻辑语义学 | 第54-57页 |
| 4.2 有穷长度 | 第57-60页 |
| 4.3 有穷框架 | 第60-70页 |
| 4.3.1 滤模型 | 第60-63页 |
| 4.3.2 框架条件 | 第63-69页 |
| 4.3.3 有穷框架性 | 第69-70页 |
| 4.4 应用 | 第70-75页 |
| 5 含S,U的cstit逻辑 | 第75-107页 |
| 5.1 Cstit逻辑基本语法与语义学 | 第75-79页 |
| 5.1.1 Cstit基本语法 | 第75-76页 |
| 5.1.2 Cstit语义学 | 第76-79页 |
| 5.2 数模型 | 第79-83页 |
| 5.3 拟模型 | 第83-94页 |
| 5.4 Cstit逻辑可判定 | 第94-107页 |
| 5.4.1 Z-型Rabin树 | 第95-103页 |
| 5.4.2 从拟模型到Z型Rabin树 | 第103-107页 |
| 6 Astit逻辑 | 第107-127页 |
| 6.1 Astit逻辑基本语法和语义学 | 第108-114页 |
| 6.1.1 Astit的基本语法 | 第108页 |
| 6.1.2 Astit标准语义学 | 第108-112页 |
| 6.1.3 Astit简单语义学 | 第112-114页 |
| 6.2 有效性和简单有效性的重合 | 第114-121页 |
| 6.3 简单拟模型 | 第121-123页 |
| 6.4 Astit逻辑可判定 | 第123-127页 |
| 7 结语 | 第127-129页 |
| 参考文献 | 第129-133页 |
| 攻博期间发表的科研成果目录 | 第133-135页 |
| 致谢 | 第135-136页 |
