登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

模态逻辑的模型构造和完备性证明
出版社：中国科学院
出版年：2013
作者：李小燕
资源类型：图书
细分类型：中文文献,学位论文
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

模态逻辑导论
  • 作者：(美)切莱士(Chellas,B.F.)
  • ISBN：7306001647
  • 出版社：中山大学出版社
  • 出版年：1989
...

模态逻辑引论
  • 作者：周礼全
  • 出版社：上海人民出版社
  • 出版年：1986
...

不动点逻辑中的模型构造与推演系统的完备性
  • 作者：屈楠
  • 出版社：中国科学院
  • 出版年：2012
...

模态逻辑教程
  • 作者：文学锋编著
  • ISBN：9787030682932
  • 出版社：科学出版社
  • 出版年：2021
...

模态逻辑导论 :
  • 作者：周北海著
  • ISBN：730103394X
  • 出版社：北京大学出版社
  • 出版年：1997
...

复合模态词模态逻辑
  • 作者：邓少波
  • 出版年：2014