同性质的模态逻辑。在其中很多必然性和可能性的概念满足下列德·摩根定律的联系：尽管模态逻辑教科书比如Hughes和Cresswell的《A New Introduction to Modal Logic》覆盖了这个定律不成立的一些系统。模态逻辑向命题逻辑的“合式公式”增加上必然性和偶然性。在一些记号中“必然的formula_15”使用“方块”（formula_16）表示，而“可能的formula_15”使用“菱形”（formula_18）表示。无论是什么样的记号，两个算子是以相互定义的方式定义的：