大拱桥--暨南大学学生门户 » 图书馆 » 模态逻辑(分类号：B815.1)(共5本)

分类依据：义务逻辑等入此。

分次模态语言的模型论

0
索取号：B815.1/20131
作者：马明辉、
出版社：北京 : 科学出版社, 2012

模态对应理论

0
索取号：B815.1-53/20101
作者：本特姆、张清宇、刘新文、
出版社：北京 : 科学出版社, 2010

模态逻辑导论

0
索取号：B815.1/4434
作者：
出版社：广州 : 中山大学出版社, 1989-05

逻辑、信息和互动

0
索取号：B815.1-53/20091
作者：范本特姆、刘奋荣、
出版社：北京 : 科学出版社, 2008

广义模态逻辑及其应用

0
索取号：B815.1/20081
作者：何向东、
出版社：北京 : 人民出版社, 2005