内容摘要 This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: An Introduction to Modal Logic and A Companion to Modal Logic.A New Introduction to Modal Logic is an entirely new work, completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing tha clarity of exposition and approachability that were essential features of their earlier works.The book takes readers from the most basic systems of modal propositional logic right up to systems of modal predicate with identity. It covers both technical developments such as completeness and incompleteness, and finite and infinite models, and their philosophical applications, especially in the area of modal predicate logic.这本期待已久的书取代了 Hughes 和 Cresswell 的两本模态逻辑经典研究:《模态逻辑导论》和《模态逻辑伴侣》。《模态逻辑新导论》是一本全新的著作,由作者完全重写。他们融合了自 1968 年以来在模态命题逻辑和模态谓词逻辑方面的所有新发展,同时又不牺牲其早期作品的基本特征——阐述的清晰性和平易近人性。模态命题逻辑直至具有同一性的模态谓词系统。它涵盖了完备性和不完备性、有限和无限模型等技术发展及其哲学应用,特别是在模态谓词逻辑领域。
以下为对购买帮助不大的评价