模态逻辑导论 【哲学宗教】

广义模态逻辑 【哲学宗教】

广义模态逻辑 【哲学宗教】

模态逻辑 【哲学宗教】

模态逻辑 【哲学宗教】

模态逻辑是哲学逻辑的重要分支，自20世纪70年代以来在深度和广度方面都得到了很大的发展。本书阐明了模态逻辑的基础，并把认知逻辑、规范逻辑、时间逻辑、命令逻辑等纳入模态逻辑的范围；论述了模态逻辑与自然语...

现代佛学大系43 佛书答问 佛典泛论 中国佛教史籍概论 大般若波罗蜜多经叙 南传佛教巴利文献简介 佛教梵语圣典概观 【哲学宗教】

现代逻辑学讲义 模态逻辑 【哲学宗教】

本书为高校教学用书。分数理逻辑与模态逻辑两部分。数理逻辑介绍了句子逻辑及一阶逻辑的基本内容；模态逻辑介绍句子层次上（命题型的）模态逻辑最基本的内容。...

模态对应理论 【哲学宗教】

本书是由我们翻译的世界著名逻辑学家范本特姆的14篇论文组成，约35万字。我们以语言逻辑为核心挑选出了14篇引用率最高的论文。论文的发表时间从1970年代到2007年，内容涵盖了关于自然语言形式化的研究，形式语言...

记忆魔法大练兵 72套神奇的记忆魔法实战训练题 【哲学宗教】

英国国宝级记忆训练大师查尔斯·菲利普斯告诉我们：每一天的生活场景都可以变成记忆训练的游乐场！本书中，作者抛开繁杂深奥的理论，把72个日常生活小故事设计成72套记忆实战训练题，层层激活你的大脑，带你突破记忆力...

临界的传递逻辑 模态逻辑的濒表格性问题探究 【哲学宗教】

图书回顾了传递的濒表格逻辑的研究发展历史，叙述了传递的濒表格逻辑判据的证明、应用过程，试图解决传递逻辑的濒表格性的判据问题和大格的子格NExtQ4中濒表格逻辑族的基数、分类及公理化问题。本书可供从事模...