简介：常逻辑公式是不含命题变元的逻辑公式，运用它们可以定义结构类。反过来，某些结构类却不能以常逻辑公式集定义。模态逻辑中一阶可定义的框架类可被常模态公式集定义的充分必要条件是，该框架类对满射互模拟象、不相交并封闭，并且其补类对超滤扩张封闭。有穷传递框架类相对可由常模态公式集定义的充分必要条件是，它对满射互模拟象和不相交并封闭。这两条定理中后一条可推广至直觉主义逻辑。
常逻辑公式与可定义性
