| 摘要 | 第1-8页 |
| Abstract | 第8-9页 |
| 1 Introduction | 第9-14页 |
| ·. Background | 第9-11页 |
| ·Main Results | 第11-13页 |
| ·Contents | 第13-14页 |
| 2 Logics and Semantics | 第14-24页 |
| ·Intermediate Logics | 第14-17页 |
| ·Kripke Semantics | 第17-20页 |
| ·Go|¨del Logics | 第20-24页 |
| 3 Normal Forms and Their Existence | 第24-47页 |
| ·Normal Forms | 第24-26页 |
| ·Model-Characterizing Formulas | 第26-35页 |
| ·Conjunctive Model-Characterizing Formulas | 第28-33页 |
| ·Disjunctive Model-Characterizing Formulas | 第33-35页 |
| ·Existence of Normal Forms | 第35-37页 |
| ·Weakest Logics with Normal Forms | 第37-47页 |
| 4 Normal Form Reductions | 第47-63页 |
| ·Semantical Reductions | 第47-48页 |
| ·Syntactical Reductions | 第48-59页 |
| ·Syntactical WCNF-Reduction | 第48-54页 |
| ·Syntactical WINF-Reduction | 第54-59页 |
| ·Computational Complexity | 第59-63页 |
| 5 Conclusions and Further Work | 第63-65页 |
| Acknowledgements | 第65-66页 |
| Bibliography | 第66-69页 |
| 在学期间在省级以上刊物发表的论文目录 | 第69页 |
| 在学期间参加的科研项目 | 第69-70页 |
