@书籍{zbMATH01489626，作者={Mints，G.}，Title={模态逻辑简介}，F系列={CSLI课堂讲稿}，系列={CSLI Lect.Notes}，体积={30}，国际标准图书编号={0-937073-75-X}，年份={1992年}，出版商={斯坦福，加利福尼亚州：斯坦福大学，语言研究中心{和}信息}，语言={英语}，关键词={03B45.03-01}，zbMATH={1489626}，Zbl={0942.03515}}