题名	责任者	出版社	索书号
广义模态逻辑及其应用	何向东 ... [等] 著	人民出版社	B815.1/1