模态逻辑最经常用来谈论所谓的“真势模态”：“⋯⋯是必然的”或者“⋯⋯是可能的”，这些模态（包括形而上学模态和逻辑模态）最容易混淆于认识模态（来自希腊语episteme，知识）：“⋯⋯确实是真的”和“⋯⋯（对给定的可获得的信息）或许是真的”。
n ʑqr n ɬqr tsqr ɬqɣ^k ʝʁʑɣ^n tɕhɣ^r ʑqn ʑn r r thɣqr çɣr“tsʁɣk ʁqr n ʑqr”“ʁqr ɕqr ʑn çɣr”ʁr tsʁɣr“ʁqr χɣr ɣɣ^n çɣr”tsʁɣr khqɣk n ʑqr ɕʑk χr khqɣ^n ɣn ʁʑɣ^r khɣn n ʑqr ʁɣn n ɬqr n ʑqr tsqr ɣ^n tɕhqr ʁr tɕhʑn tɕhn ɣr ʁqr n ʑqr ʑqn tsqr khqk ʑr tɕhr (en)ɪpˈɪstiːm(cmn) tsʁqk ʁqr“ɣr ʁqn ʁqr tsʁɣk çɣr”ʁɣn“çqr ɣ^ɣqr çqɣ^r çɣr χɣr ʁr çɣr çɣr khqr khqr ʁr khr ʁqr tsʁɣk çɣr”