> 充足関係の再設計についてだが，Kripkeフレームを定義するのを止めて全てモデルベースで意味論などを定義したほうが実用上は良いのかも知れない．現状のフレームクラスの完全性もモデルクラスに置き換えても何も問題はないはず（命題論理の`F`の意味論`Kripke2`では付値の遺伝性すらオプショナルなのでそのようになっているはず）． > フレームの形に関する議論は全てKripke意味論から完全に分離して`Rel`の議論として扱う．その意味で当初の再設計の思想と変わらないとは思うが． _Originally posted by @SnO2WMaN in https://github.com/FormalizedFormalLogic/Foundation/issues/783#issuecomment-3952693953_
Originally posted by @SnO2WMaN in #783 (comment)