A New Introduction to Modal Logic 在线电子书 图书标签: 逻辑学 模态逻辑 Logic 逻辑 哲学 计算机 modal 英文原版
发表于2024-12-26
A New Introduction to Modal Logic 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
形式化低好啊,非逻辑学的论文里也用不到那么高的形式化内容
评分扫了最后的 modal prodicate logic
评分符号有点旧哇……而且是元语言层面的理论……弃了
评分讲的清清楚楚是它的特点,入门是不错滴选择。进阶的不推荐。
评分讲的清清楚楚是它的特点,入门是不错滴选择。进阶的不推荐。
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.
评分
评分
评分
评分
A New Introduction to Modal Logic 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024