分次模态语言的模型论PDF电子书下载
- 电子书积分:9 积分如何计算积分?
- 作 者:马明辉著
- 出 版 社:北京:科学出版社
- 出版年份:2012
- ISBN:9787030343925
- 页数:195 页
导论 1
第1章 计数模态语言 5
1.1模态逻辑的语义视角 5
1.2计数模态语言 6
1.3构造模型和框架的基本方法 9
1.4分次模态逻辑 17
第2章 分次模态语言的关系语义学 21
2.1模型和框架构造 22
2.2分次超滤扩张与饱和 25
2.3模型和框架可定义性 32
2.4范本特姆-罗森刻画定理 40
2.5 GML和FOL(C)之间的框架对应 44
第3章 分次模态余代数 47
3.1分次模态语言的余代数语义 47
3.2分次模态代数 61
3.3分次模态代数与余代数之间的对偶 65
3.4有限余代数和余代数模型的可定义性 67
3.5 GML的泛余代数 73
第4章 公理系统和完全性 80
4.1分次正规模态逻辑 80
4.2典范余代数模型 83
4.3一些完全的逻辑 86
4.4代数完全性与典范性 94
4.5 GML的嵌人定理 95
第5章 余代数对应理论 101
5.1弱二阶逻辑与翻译 101
5.2无变元公式与统一公式 105
5.3分次萨奎斯特对应定理 107
5.4非分次萨奎斯特公式 112
5.5萨奎斯特完全性定理 115
第6章 有限模型性质 117
6.1过滤模型 117
6.2 NExt(Kg42)中子余代数逻辑 123
6.3Kg43的典范公式 134
6.4正规分次模态格NExt(KgAltn) 142
第7章 公式的分类 146
7.1Ω模拟与正存在公式 146
7.2点Ω子模型保持 148
7.3 GML的Chang-Los-Suszko定理 151
7.4保序与正公式 152
7.5子框架保持 154
第8章 分次模态逻辑的扩张 164
8.1分次全通模态词 164
8.2分次异点算子 168
8.3无限基数的模态逻辑 172
8.4 GML的Lindstrom定理 175
参考文献 179
附录A模型论与泛代数 184
附录B基本模态逻辑 189
附录C余代数理论 193
后记 195
- 《程序逻辑及C语言编程》卢卫中,杨丽芳主编 2019
- 《幼儿园课程资源丛书 幼儿园语言教育资源》周兢编 2015
- 《高等学校“十三五”规划教材 C语言程序设计》翟玉峰责任编辑;(中国)李聪,曾志华,江伟 2019
- 《音乐语言的根基》张艺编著 2019
- 《模型与认知》(美)乔纳森·A.瓦斯肯著,魏刘伟译 2019
- 《认知语言学视野的抽象方位结构研究》曹爽著 2019
- 《激活语言思维》李蒨,王宏年,汤青编著 2017
- 《中国二氧化碳减排和环境协同效益评价模型的构建与研究》杨曦,滕飞著 2019
- 《汉语言文学本科专业核心课程研究导引教材 古代汉语》马蓝婕责任编辑;(中国)魏宜辉 2019
- 《英语教师语言意识研究》秦莉,赵春贺著 2019
- 《中风偏瘫 脑萎缩 痴呆 最新治疗原则与方法》孙作东著 2004
- 《水面舰艇编队作战运筹分析》谭安胜著 2009
- 《王蒙文集 新版 35 评点《红楼梦》 上》王蒙著 2020
- 《TED说话的力量 世界优秀演讲者的口才秘诀》(坦桑)阿卡什·P.卡里亚著 2019
- 《燕堂夜话》蒋忠和著 2019
- 《经久》静水边著 2019
- 《魔法销售台词》(美)埃尔默·惠勒著 2019
- 《微表情密码》(波)卡西亚·韦佐夫斯基,(波)帕特里克·韦佐夫斯基著 2019
- 《看书琐记与作文秘诀》鲁迅著 2019
- 《酒国》莫言著 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《《走近科学》精选丛书 中国UFO悬案调查》郭之文 2019
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《中医骨伤科学》赵文海,张俐,温建民著 2017
- 《美国小学分级阅读 二级D 地球科学&物质科学》本书编委会 2016
- 《指向核心素养 北京十一学校名师教学设计 英语 九年级 上 配人教版》周志英总主编 2019
- 《强磁场下的基础科学问题》中国科学院编 2020
- 《小牛顿科学故事馆 进化论的故事》小牛顿科学教育公司编辑团队 2018
- 《小牛顿科学故事馆 医学的故事》小牛顿科学教育公司编辑团队 2018
- 《高等院校旅游专业系列教材 旅游企业岗位培训系列教材 新编北京导游英语》杨昆,鄢莉,谭明华 2019