模态概率逻辑
| 摘要 | 第1-4页 |
| Abstract | 第4-8页 |
| 第1章 引言 | 第8-11页 |
| 第2章 模态逻辑、概率以及相对化 | 第11-38页 |
| ·模态逻辑 | 第11-13页 |
| ·概率 | 第13-28页 |
| ·概率论 | 第14-16页 |
| ·概率的解释 | 第16-28页 |
| ·关于可能的其他理论 | 第28-29页 |
| ·概率逻辑与概率语义学 | 第29-36页 |
| ·模态逻辑、概率逻辑与相对化 | 第36-38页 |
| 第3章 一元模态概率逻辑 | 第38-57页 |
| ·一元模态概率逻辑的语言 | 第38-39页 |
| ·语义和模型 | 第39-51页 |
| ·模态概率函数 | 第39-44页 |
| ·模型 | 第44-46页 |
| ·常用的有效式 | 第46-51页 |
| ·公理系统及可靠性定理 | 第51-54页 |
| ·公理 | 第51页 |
| ·可靠性定理 | 第51-52页 |
| ·常用的定理 | 第52-54页 |
| ·象无限模型 | 第54-57页 |
| 第4章 二元模态概率逻辑 | 第57-71页 |
| ·语言 | 第57页 |
| ·条件概率 | 第57-59页 |
| ·模型与语义 | 第59-68页 |
| ·条件概率 | 第59-60页 |
| ·二元模态概率函数 | 第60-63页 |
| ·语义与模型 | 第63-64页 |
| ·常见的有效式 | 第64-68页 |
| ·公理系统 | 第68-71页 |
| ·公理 | 第68-69页 |
| ·可靠性定理 | 第69页 |
| ·常用的定理 | 第69-71页 |
| 第5章 模态概率逻辑及其表达力 | 第71-78页 |
| ·模态概率逻辑 | 第71-75页 |
| ·公理 | 第73-75页 |
| ·模态概率逻辑的标准翻译 | 第75-76页 |
| ·模态概率逻辑与事件的可能性 | 第76-78页 |
| 第6章 模态概率逻辑的应用 | 第78-89页 |
| ·模态概率逻辑在动态逻辑上的应用 | 第78-83页 |
| ·模态概率逻辑在博弈逻辑上的应用 | 第83-89页 |
| 第7章 结论 | 第89-91页 |
| 参考文献 | 第91-96页 |
| 致谢 | 第96-98页 |
| 个人简历、在学期间发表的学术论文与研究成果 | 第98页 |
