为你推荐
作者简介
内容简介
引言
第一章 STIT逻辑
1.1 分支时间框架
1.2 STIT框架
1.3 STIT算子间的逻辑关系
第二章 CSTIT逻辑
2.1 语法与语义
2.1.1 语法
2.1.2 标准语义
2.1.3 克里普克语义
2.2 两种语义的等价性
2.3 可判定性
2.3.1 子框架与子模型
2.3.2 滤模型
2.3.3 有穷框架性
第三章 ASTIT逻辑
3.1 语法和语义
3.1.1 语法
3.1.2 标准语义
3.1.3 简单语义
3.2 两种语义的等价性
3.3 拟模型
3.4 可判定性
第四章 时态STIT逻辑（一）
4.1 语法与语义
4.1.1 语法
4.1.2 标准语义
4.1.3 克里普克语义
4.2 两种语义之间的对应关系
4.2.1 从标准语义到克里普克语义
4.2.2 从克里普克语义到标准语义
4.3 框架长度强有穷性
4.4 可判定性
4.4.1 滤模型
4.4.2 互模拟与互拟商
4.4.3 强有穷框架性
第五章 时态STIT逻辑（二）
5.1 语法与语义
5.1.1 语法
5.1.2 语义
5.2 可数模型
5.3 拟模型
5.4 可判定性
5.4.1 ■-型Rabin树
5.4.2 拟模型到■-型Rabin树的归约
第六章 一般逻辑
6.1 语法与语义
6.1.1 语法
6.1.2 语义
6.2 框架长度强有穷性
6.3 可判定性
6.3.1 滤模型
6.3.2 框架条件
6.3.3 强有穷框架性
6.4 应用
结语
致谢
参考文献
符号索引
名词索引
买过这本书的人还买过
读了这本书的人还在读
同类图书排行榜
购物车
个人中心
6.8
