公式$\triangle$A（A是否成立是不确定的）在克里普克模型中的某一点是真的，只要该点的所有可访问点都与A的真值一致。我们可以将基于$\triegle$的模态逻辑视为我们所称的通用模态逻辑的特例，借助支持三元关系的模型进行解释，S公司例如，使用OA（我们用它代替$\三角形$A来强调所涉及的泛化）在某一点上是正确的w个以防万一x、 年，使用Swxy公司，x个和年同意A的真值。非一致性解释是其中的特例Swxy公司当且仅当Rwx公司和公路，其中R（右）是一种传统的二进制可及性关系。另一个应用程序，与Lewis和von Kutschera的工作有关，允许我们将OA视为A完全是关于某个主题的。