一般框架

在逻辑学中，一般框架（或简称框架）是具有额外结构的克里普克框架，它被用来模拟模态和中间逻辑。

一般框架语义学结合了克里普克语义学和代数语义学的主要优点：它具有前者透明的几何洞察力和后者强大的完备性。

一个模态的一般框架是一个三联体的子集，它在下列条件下是封闭的。布尔运算的（二进制）相交、联合和互补，运算。{displaystyleBox}，定义为{displaystylelangleF,Rrangle}可被识别为一般框架，在该框架中，所有的估值都可以被视为是"不公平的"。可以与所有估值都是可接受的一般框架相识别：即。

在完全通用的情况下，一般的框架几乎不过是克里普克模型的一个花哨的名字；尤其是，模态公理与可及性关系上的属性的对应关系被丢失了。

这可以通过对可接受估值的集合施加额外的条件来补救紧凑。如果V的每个子集{displaystyleV}的每一个子集都有非空的交集，的每一个子集都有一个非空的交集，具有有限交集特性。原子的，如果V{fnTahomafs10bord0shad01cH00FFFF}atomic,ifV包含所有单子。克里普克框架是精炼的和原子的。然而，无限的克里普克框架从来不是紧凑的。

每一个有限的分化的或原子的框架都是一个克里普克框架。描述性框架是最重要的一类框架，因为有二元性理论（见下文）。

精炼框架作为描述性框架和克里普克框架的共同概括是有用的。框架上的操作和形态每个克里普克模型{displaystylemathbf{G}=langleG,S,Wrangle}是一般框架的生成子框架。是一个帧的生成子帧{displaystylelangleF,Rrangle}是Kripke帧的生成子帧。(即。G{displaystyleG}是是F的一个子集F{displaystyleF}的一个子集。向上闭合的R{displaystyleR}下向上封闭的子集。