これはソール・a・クリプキが提唱し、状況に応じた真理値を持つ論理体系の論理式について与えられる意味論である。