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.

Landmark Detection for Fusion of Fundus and MRI Towards a Patient-Specific Multi-Modal Eye Model

Ophthalmologists typically acquire different image modalities to diagnose eye pathologies. They comprise e.g., Fundus photography, Optical Coherence Tomography (OCT), Computed Tomography (CT) and Magnetic Resonance Imaging (MRI). Yet, these images are often complementary and do express the same pathologies in a different way. Some pathologies are only visible in a particular modality. Thus, it is beneficial for the ophthalmologist to have these modalities fused into a single patient-specific model. The presented article’s goal is a fusion of Fundus photography with segmented MRI volumes. This adds information to MRI which was not visible before like vessels and the macula. This article’s contributions include automatic detection of the optic disc, the fovea, the optic axis and an automatic segmentation of the vitreous humor of the eye.

Justifying induction on modal μ-formulae

We define a rank function for formulae of the propositional modal μ-calculus such that the rank of a fixed point is strictly bigger than the rank of any of its finite approximations. A rank function of this kind is needed, for instance, to establish the collapse of the modal μ-hierarchy over transitive transition systems. We show that the range of the rank function is ωω. Further we establish that the rank is computable by primitive recursion, which gives us a uniform method to generate formulae of arbitrary rank below ωω.

No shift to a deeper water uptake depth in response to summer drought of two lowland and sub-alpine C3-grasslands in Switzerland

Temperate C3-grasslands are of high agricultural and ecological importance in Central Europe. Plant growth and consequently grassland yields depend strongly on water supply during the growing season, which is projected to change in the future. We therefore investigated the effect of summer drought on the water uptake of an intensively managed lowland and an extensively managed sub-alpine grassland in Switzerland. Summer drought was simulated by using transparent shelters. Standing above- and belowground biomass was sampled during three growing seasons. Soil and plant xylem waters were analyzed for oxygen (and hydrogen) stable isotope ratios, and the depths of plant water uptake were estimated by two different approaches: (1) linear interpolation method and (2) Bayesian calibrated mixing model. Relative to the control, aboveground biomass was reduced under drought conditions. In contrast to our expectations, lowland grassland plants subjected to summer drought were more likely (43–68 %) to rely on water in the topsoil (0–10 cm), whereas control plants relied less on the topsoil (4–37 %) and shifted to deeper soil layers (20–35 cm) during the drought period (29–48 %). Sub-alpine grassland plants did not differ significantly in uptake depth between drought and control plots during the drought period. Both approaches yielded similar results and showed that the drought treatment in the two grasslands did not induce a shift to deeper uptake depths, but rather continued or shifted water uptake to even more shallower soil depths. These findings illustrate the importance of shallow soil depths for plant performance under drought conditions.

Dealing with bad guys: actor- and process-level determinants of the “devil shift” in policy making

Policy actors tend to misinterpret and distrust opponents in policy processes. This phenomenon, known as the “devil shift”, consists of the following two dimensions: actors perceive opponents as more powerful and as more evil than they really are. Analysing nine policy processes in Switzerland, this article highlights the drivers of the devil shift at two levels. On the actor level, interest groups, political parties and powerful actors suffer more from the devil shift than state actors and powerless actors. On the process level, the devil shift is stronger in policy processes dealing with socio-economic issues as compared with other issues. Finally, and in line with previous studies, there is less empirical evidence of the power dimension of the devil shift phenomenon than of its evilness dimension.

Modal interpolation via nested sequents

The main method of proving the Craig Interpolation Property (CIP) constructively uses cut-free sequent proof systems. Until now, however, no such method has been known for proving the CIP using more general sequent-like proof formalisms, such as hypersequents, nested sequents, and labelled sequents. In this paper, we start closing this gap by presenting an algorithm for proving the CIP for modal logics by induction on a nested-sequent derivation. This algorithm is applied to all the logics of the so-called modal cube.

Diagnosing Organizational Identity Beliefs by Eliciting Complex, Multi-Modal Metaphors

The purpose of this article is to extend the organizational development diagnostics repertoire by advancing an approach that surfaces organizational identity beliefs through the elicitation of complex, multimodal metaphors by organizational members. We illustrate the use of such "Type IV" metaphors in a postmerger context, in which individuals sought to make sense of the implications of the merger process for the identity of their organization. This approach contributes to both constructive and discursive new organizational development approaches; and offers a multimodal way of researching organizational identity that goes beyond the dominant, mainly textual modality.

Vegetation shift and laurophyllisation: the possible role of forest fires

Southern Switzerland is a fire prone area where fire has to be considered as a natural environmental factor. In the past decades, fire frequency has tended to increase due to changes in landscape management. The most common type of fire is surface fire which normally breaks out during the vegetation resting period. Usually this type of fire shows short residence time (rapid spread), low to medium fire intensity and limited size. South-facing slopes are particularly fire-prone, so that very high fire frequency is possible: under these conditions passive resistant species and postfire resprouting species are favoured, usually leading to a reduction in the number of surviving species to a few fire adapted sprouters. Evergreen broadleaves are extremely sensitive to repeated fires. A simulation of the potential vegetation of southern Switzerland under climatic changed conditions evidenced the coincidence of the potential area of spreading forests rich in evergreen broad-leaved species with the most fire-prone area of the region. Therefore, in future, wildfires could play an important regulating role: most probably they will not stop the large-scale laurophyllisation of the thermophilous forests of southern Switzerland, but at sites with high fire frequency the vegetation shift could be slowed or even prevented by fire-disturbances.