丹尼尔·加林 内涵和高阶模态逻辑。蒙塔古语义学的应用。 （英语） Zbl 0341.0204号 北韩数学研究. 19. 阿姆斯特丹-牛津：North-Holland出版公司；纽约：美国爱思唯尔出版公司VII，148 p.Dfl。26.00; $ 10.00 (1975). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于8评论引用于53文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 03-02 与数学逻辑和基础相关的研究展览（专著、调查文章） PDF格式BibTeX公司 XML格式