A Hennessy-Milner Property for Many-Valued Modal Logics

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.

Über Aus- und Rückwanderung : Vortrag, geh. am Mittwoch, 17. Sept. 1902 in d. Henry Jones-Loge in Hamburg

von Paul Laskar

Henry III., a.d. 1218 - 1272

ed. by J. M. Rigg

The Sicilian coinage of Henry VI - mint attributions reconsidered

The Sicilian Coinage of the Hohenstaufen has been studied since the 17th century. Today, with the splendid Medieval European Coinage 14 at our hands, scholars are still struggling when it comes to mint attributions for Henry’s Sicilian denari and taris: Palermo or Messina? Palermo and Messina? The coin finds from Monte Iato (PA) may shed light on this old problem: by starting from one coin type alone and examining the different subtypes and variants, we can catch a glimpse of the way coinage was organised in Sicily at the end of the 12th century.

Henry Haynie [Illustration] : (Redakteur des "Chicago Herold")

Friedrich Beer

Henry Seligman [Illustration] : (Porträt)

Scan von Monochrom-Mikroform

Antwort des Reverend William Henry Hechler

William Hechler

Lord Milner für die rumänischen Juden

Sam. Goldreich