杰·泽曼 模态逻辑。刘易斯-莫代尔系统。 (英语) Zbl 0255.02014号 牛津:克拉伦登出版社。十、 302页,净额6.50英镑(1973年)。 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于2评论引用于25文件 MSC公司: 03B45号 模态逻辑(包括规范逻辑) 03-01 关于数学逻辑和基础的介绍性说明(教科书、教程论文等) PDF格式BibTeX公司 XML格式