We formulate and prove logical characterizations of crisp simulations and crisp directed simulations between fuzzy labeled transition systems with respect to fuzzy modal logics that use a general t-norm-based semantics. The considered logics are fragments of the fuzzy propositional dynamic logic with the Baaz projection operator. The logical characterizations concern preservation of positive existential (respectively, positive) modal formulas under crisp simulations (respectively, crisp directed simulations), as well as the Hennessy-Milner property of such simulations.

翻译：我们制定并证明精确模拟的逻辑特征,并用模糊标签的过渡系统之间在使用一般t-norm语义学的模糊模式逻辑方面进行精确的定向模拟,经过考虑的逻辑是与Baaz投影操作员进行的模糊的命题动态逻辑的碎片。逻辑特征涉及在精确模拟(分别、直截了当的模拟)下保存正存在的(分别是正的、正的)模式公式,以及这种模拟的Hennnesy-Milner特性。