分次模态语言的模型论
引用
收藏
作者:
马明辉著
ISBN:
9787030343925
出版日期:
2012-07
版次:
1
中图分类号:
B815.1
学科分类:
哲学
语言学
丛书:
逻辑、博弈与认知研究丛书
附注信息:
教育部人文社会科学研究青年项目“模态完全性理论的句法研究”早期研究成果 重庆市人文社会科学重点研究基地项目“模态模型论研究”研究成果
阅读
图书简介:
本书给出了分次模态逻辑的余代数语义,研究余代数结构类在分次模态语言中的可定义性问题;探讨了余代数语义下分次模态逻辑与弱二阶逻辑的对应理论,以及分次模态公式的分类和几个扩张表达力的语言;此外,在关系语义学下,还给出了结构类的可定义性定理。
图书目录:
返回顶部
×
图书荐购
*
姓名:
*
机构名称:
*
院/系/所:
*
推荐人邮箱:
推荐理由: