G.E.休斯。;克雷斯韦尔，M.J。 模态逻辑的新介绍。 （英语） Zbl 0855.0302号 伦敦：劳特利奇。x、 421页13.99英镑/pbk，40.00英镑/hbk（1996年）。 本书旨在取代作者早期的著作《模态逻辑导论》（1968；Zbl 0205.00503号)和《模态逻辑的伴侣》（1984；Zbl 0625.03005号). 这是对模态命题逻辑和谓词逻辑的克里普克语义的一个非常初步的介绍。与它的前辈一样，这本教科书讨论了一些特殊的模态系统，并展示了如何建立它们相对于克里普克或有限框架的完整性。还提供了不完全逻辑的简单示例。这本书写得很清楚很好；它可以被推荐作为初学者的教科书。然而，这本书中使用的概念水平似乎太低（即使是像“（p）-态射”这样的基本概念也只在脚注中提到），无法反映出模态逻辑在过去25年中的发展。审核人：M.Zakharyaschev（柏林） 引用于5评论引用于246文件 MSC公司： 03-01 关于数学逻辑和基础的介绍性说明（教科书、教程论文等） 03B45号 模态逻辑（包括规范逻辑） 关键词：命题逻辑;谓词逻辑;克里普克语义学;教材;框架;模态逻辑 引文：Zbl 0205.00503号;Zbl 0625.03005号 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Hughes}和\textit{M.J.Cresswell}，模态逻辑的新介绍。伦敦：劳特利奇（1996年；兹bl 0855.03002）