题名	责任者	出版社	索书号
广义模态逻辑及其应用	何向东 ... [等] 著	人民出版社	B815.1/2124
模态逻辑导论	周北海著	北京大学出版社	B815/7713