Metcalfe, GeorgeGeorgeMetcalfeMarti, MichelMichelMartiGoré, RajeevKooi, BarteldKurucz, Agi2024-10-232024-10-232014-08https://boris-portal.unibe.ch/handle/20.500.12422/127203A Hennessy-Milner property, relating modal equivalence and bisimulations, is defined for many-valued modal logics that combine a local semantics based on a complete MTL-chain (a linearly ordered commutative integral residuated lattice) with crisp Kripke frames. A necessary and sufficient algebraic condition is then provided for the class of image-finite models of these logics to admit the Hennessy-Milner property. Complete characterizations are obtained in the case of many-valued modal logics based on BL-chains (divisible MTL-chains) that are finite or have universe [0,1], including crisp Lukasiewicz, Gödel, and product modal logics.en000 - Computer science, knowledge & systems500 - Science::510 - Mathematicsbook_section10.7892/boris.59756