檢視模态逻辑的原始碼

{| class="wikitable" align="right"

|-

| style="background: #66CCFF" align= center|  '''<big>模态逻辑</big> '''

|-

|[[File:模态逻辑.jpg|缩略图|居中|[https://www.51wendang.com/doc/632f2166043f850230b0b4d2/6 原图链接]]] 

|-

| style="background: #66CCFF" align= center|

|-

| align= light|

中文名: 模态逻辑

外文名: Modal logic

别 名: 内涵逻辑

繁 体: 模態邏輯

定 义: 是处理限定的句子的逻辑

应用学科: 数学

应用领域: 逻辑学

|}
'''[[模态逻辑]]'''，逻辑的一个分支，它研究必然、可能及其相关概念的逻辑性质。
 
形式模态逻辑使用模态判决算子表示模态。<ref>[https://www.51wendang.com/doc/632f2166043f850230b0b4d2/6],无忧文档 , </ref>