Mathematic Logics

语言 字母表：命题符+联结词+辅助符 命题符(propositional symbol)：$\text{PS}=\{P n|n\in\mathbb{N}\}$ 命题集 $\text{PROP}$ (proposition)：为函数 $C \neg,C $ 下 $\text{PS}$ 的归纳闭包 $C \neg(A)=(\neg A),C (A,B)=(A B...

语言 字母表 逻辑符集合 变元集 $V$ 联结词、辅助词、(等词) 量词 $\forall,\exists$ 非逻辑符集合 $\mathscr{L}$ 常元集合 $\mathscr{L} c$ 函数集合 $\mathscr{L} f$, $\mu(f) 0$ 为 $f$ 的元数 谓词集合 $\mathscr{L} P$, $\mu(P)\geq0$ 为 $f...

模态语言 | 模式 | 分支 | 应用 | | | | | | 可能与必然 | 基本模态逻辑 | | | 过去与将来 | 时态逻辑(temporal) | 软硬件系统形式化验证 | | 知道与相信 | 认知逻辑(epistemic) | 知识表示 | | 义务与允许 | 道义逻辑(deontic) | 分布式智能系统进行协同与控制的规范系统 | 模态逻辑特征...