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.

How many species of cichlid fishes are there in African lakes?

The endemic cichlid fishes of Lakes Malawi, Tanganyika and Victoria are textbook examples of explosive speciation and adaptive radiation, and their study promises to yield important insights into these processes. Accurate estimates of species richness of lineages in these lakes, and elsewhere, will be a necessary prerequisite for a thorough comparative analysis of the intrinsic and extrinsic factors influencing rates of diversification. This review presents recent findings on the discoveries of new species and species flocks and critically appraises the relevant evidence on species richness from recent studies of polymorphism and assortative mating, generally using behavioural and molecular methods. Within the haplochromines, the most species-rich lineage, there are few reported cases of postzygotic isolation, and these are generally among allopatric taxa that are likely to have diverged a relatively long time in the past. However, many taxa, including many which occur sympatrically and do not interbreed in nature, produce viable, fertile hybrids. Prezygotic barriers are more important, and persist in laboratory conditions in which environmental factors have been controlled, indicating the primary importance of direct mate preferences. Studies to date indicate that estimates of alpha (within-site) diversity appear to be robust. Although within-species colour polymorphisms are common, these have been taken into account in previous estimates of species richness. However, overall estimates of species richness in Lakes Malawi and Victoria are heavily dependent on the assignation of species status to allopatric populations differing in male colour. Appropriate methods for testing the specific status of allopatric cichlid taxa are reviewed and preliminary results presented.

Many are called, yet few are chosen

Rhetoric and Organizational Success: Imagery, Creativity and Innovation

Transition from adolescence to adulthood in congenital heart disease - Many roads lead to Rome

More than 90% of children born with heart defects reach adulthood. They continue to require specialized medical care. In most countries, their care has to be transferred from the pediatric care environment to specialized adult clinics. This transfer of care usually occurs at a time when adolescents become young adults. Supporting adolescents and emerging adults with congenital heart disease through transition has been recognized as an important task of their treating teams in recent years. An environment where adolescents feel welcome and where education and patient participation are fostered is crucial. For an optimal transition process, patients, their families and all health care providers need to be involved. Different models for transition programs have emerged, depending on local policies and resources. The authors offer insight into established transition programs in Bern and Zurich, Switzerland. Advantages and challenges of different models of care and transition programs are presented.