逻辑K（f）有限的形式，旨在捕捉“存在有限数量的可访问世界，这样……”的概念。是真的”，由Fattorsi引入并公理化。本文丰富了K的逻辑框架（f）：我们给出了一致性属性和一个为K显式设计的表系统（产生可判定性）（f），我们引入了一个更短、更自然的公理化。此外，我们还显示了K与（f）以及伯克斯更古老的物理模式逻辑。