命題論理モデルでは個々の原子項の真偽を指定するが、この拡張においては個々の論理式◻F{\displaystyle\BoxF}の真偽を指定する。
命题模型指定原子哪个为真哪个为假，而展开指定公式◻F{\displaystyle\BoxF}哪个为真哪个为假。