計算機科學家邏輯/模態邏輯/語法

語法

我們假設上述章節中使用的經典命題邏輯的語法。此外，我們還有以下兩條規則：如果 $A$ 是一個公式

${\begin{matrix}&&\diamond A{\mbox{ and}}\\&&\square A\end{matrix}}$

是公式。

符號 $\diamond$ 和 $\Box$ 傳統上代表可能性和必要性；在時態邏輯的語境中，它們代表總是和最終，因此 $\diamond A$ 代表$A$ 最終為真，而 $\Box A$ 代表$A$ 總是為真。