分次模态语言的模型论

收藏
  • 【作者】马明辉
  • 【关键词】模态逻辑
  • 【出版社】科学出版社
  • 【出版日期】2012
  • 【ISBN】978-7-03-034392-5
  • 【中图分类号】 B815.1
  • 【内容简介】本书给出了分次模态逻辑的余代数语义,研究了余代数结构类在分次模态语言中的可定义性问题;证明了几条可定义性定理,使用余代数典范模型证明正规分次模态逻辑模态逻辑的完全性;探讨了余代数语义下分次模态逻辑与弱二阶逻辑的对应理论,以及分次模态公式的分类和几个扩张表达力的语言。此外,在关系语义学下,还给出了结构类的可定义性定理。全部展开
  • 【页码】194页
  • 【丛书名】逻辑、博弈与认知研究丛书
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆 杭州图书馆 拱墅区图书馆 拱墅区图书馆分馆 上城区图书馆分馆 绍兴图书馆 更多 +

  • 【获取途径】
联合资源统一检索系统 超星 V2.0
已保存的题录(0)
选出输出字段:
加载保存列表...
清空文件夹
注:
通过勾选,使对应参与检索,从而可以轻松获得更全面的检索结果。