ハンティング代数ってやつですか？

そっちはあまりよく知りませんけど、クリプキモデルの方が意味づけとしてはいい気がしますけどね