图 书 馆
模态逻辑导论Introduction to Modal Logic |
|
| 课程网址: | http://videolectures.net/ssll09_gore_iml/ |
| 主讲教师: | Rajeev P. Goré |
| 开课单位: | 澳大利亚国立大学 |
| 开课时间: | 2009-04-01 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | We cover the syntax, Kripke semantics, correspondence theory and tableaux-style proof theory of propositional modal and temporal logics. These logics have important applications in a diverse range of fields incuding Artificial Intelligence, Theoretical Computer Science and Hybrid Systems. |
| 关 键 词: | 命题模态; 时间逻辑; 人工智能 |
| 课程来源: | 视频讲座网 |
| 最后编审: | 2019-09-23：cwx |
| 阅读次数: | 50 |