出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
| 词条 | 广义模态逻辑 |
| 释义 | 广义模态逻辑 广义模态逻辑 狭义模态是指必然性、可能性、偶然性模态,也称为真性模态,狭义模态逻辑即通常所说的模态逻辑。除狭义模态外,也把事物和认识中的其他一些性质和状态称为模态,如关于应该、允许、禁止的道义模态;关于过去、现在、将来的时态模态;关于可信、知道、可疑的认识论模态等等,这就是广义模态。广义模态逻辑是研究广义模态的现代逻辑分支的通称,包括道义逻辑、时态逻辑、认识论逻辑等等。广义模态与狭义模态有许多相似之处,广义模态逻辑的建立与发展深受模态逻辑的影响。 出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 |
| 随便看 |
百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。