Can I read 模态逻辑 on EtoBox?

模态逻辑 by 鍛ㄥ寳娴疯憲 (as-gbk-encoding) is a book available to read on EtoBox.

What is 模态逻辑 about?

模态逻辑周北海著.模态逻辑.北京:中国社会科学出版社,1996. 1 (p1): 第一章 模态逻辑概述 1 (p1-2): 1.1 模态逻辑 1 (p1-3): 模态 3 (p1-4): E3+□?和E 4 (p1-5): 模态命题和命题的模态形式 8 (p1-6): 1.2 传统模态逻辑和现代模态逻辑 13 (p1-7): 1.3 现代模态逻辑的内容与特点 17 (p1-8): 习题 19 (p2): 第二章 预备知识 19 (p2-2): 2.1 逻辑学、逻辑和逻辑研究 21 (p2-3): 2.2 逻辑和形式系统 26 (p2-4): 2.3 古典命题逻辑,形式语言?P和古典命题演算P 27 (p2-5): 古典命题逻辑和形式语言?P 29 (p2-6): ?P的语义解释P-赋值和P-有效性 31 (p2-7): 古典命题演算P 31 (p2-8): 常用P-定理与导出规则 33 (p2-9): 2.4 一阶逻辑形式语言?Q和一阶演算Q 33 (p2-10): 一阶逻辑和一阶语言?Q 36 (p2-11): ?Q-模型与?Q-模型类有效性 38 (p2-12): 一阶演算Q 39 (p2-13): 习题 40 (p2-14): 3.1 模态命题逻辑 40 (p2-15): 关于命题的模态形式与模态函项 40 (p3): 第三章 模态命题演算 42 (p3-2): 必然性与可能性 44 (p3-3): 模态命题逻辑的一些直观原则 45 (p3-4): 3.2 形式语言?PM 48 (p3-5): 3.3 系统K 48 (p3-6): K与正规系统 49 (p3-7): K的定理与导出规则 56 (p3-8): 3.4 系统D和T 56 (p3-9): 系统D和T的基础 57 (p3-10): D的定理和导出规则 58 (p3-11): T的定理 59 (p3-12): S4定理和导出规则 59 (p3-13): S4和S5 59 (p3-14): 3.5 系统S4,S5和系统B 61 (p3-15): S5定理 63 (p3-16): 系统B 64 (p3-17): ?PM的模态词 64 (p3-18): 3.6 模态词与叠置模态词的归约 65 (p3-19): 模态词的等价性 66 (p3-20): 叠置模态词的归约 67 (p3-21): 模态词的等价性与模态系统 69 (p3-22): 3.7 K,D,T,S4,S5和B的一致性 72 (p3-23): 3.8 系统Tr及模态系统的坍塌 72 (p3-24): 一致性原则与模态系统 73 (p3-25): 系统Tr 73 (p3-26): 模态系统的坍塌 76 (p3-27): 习题 79 (p4): 第四章 可能世界语义学 79 (p4-2): 4.1 可能世界语义学的基本思想 84 (p4-3)

Author

鍛ㄥ寳娴疯憲 (as-gbk-encoding)

Publisher

北京:中国社会科学出版社

Published

1996

Language

ZH

ISBN

9787500418887