994 resultados para HEMOLYSIN BL
Resumo:
vom Verfasser des Hrous
Resumo:
inn d. Dr. geg. durch Phillippum Wolff
Resumo:
da me, Telemann
Resumo:
Raymundi Martini; cum observationibus Iosephi de Voisin
Resumo:
von L. Brisker
Resumo:
Abgeordnete der Nationalversammlung
Resumo:
Vorbesitzer: Dominikanerkloster Frankfurt am Main
Resumo:
[Subprior Theobaldus]
Resumo:
del Samuel ...
Resumo:
del Samuel ...
Resumo:
[Johann Heinrich Wilhelm] Witschel
Resumo:
A 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.