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.

Surgical Treatment of Recurrent Endometrial Cancer: Time for a Paradigm Shift.

BACKGROUND Although surgery represents the cornerstone treatment of endometrial cancer at initial diagnosis, scarce data are available in recurrent setting. The purpose of this study was to review the outcome of surgery in these patients. METHODS Medical records of all patients undergoing surgery for recurrent endometrial cancer at NCI Milano between January 2003 and January 2014 were reviewed. Survival was determined from the time of surgery for recurrence to last follow-up. Survival was estimated using Kaplan-Meier methods. Differences in survival were analyzed using the log-rank test. The Fisher's exact test was used to compare optimal versus suboptimal cytoreduction against possible predictive factors. RESULTS Sixty-four patients were identified. Median age was 66 years. Recurrences were multiple in 38 % of the cases. Optimal cytoreduction was achieved in 65.6 %. Median OR time was 165 min, median postoperative hemoglobin drop was 2.4 g/dl, and median length hospital stay was 5.5 days. Eleven patients developed postoperative complications, but only four required surgical management. Estimated 5-year progression-free survival (PFS) was 42 and 19 % in optimally and suboptimally cytoreduced patients, respectively. At multivariate analysis, only residual disease was associated with PFS. Estimated 5-year overall survival (OS) was 60 and 30 % in optimally and suboptimally cytoreduced patients, respectively. At multivariate analysis, residual disease and histotype were associated with OS. At multivariate analysis, only performance status was associated with optimal cytoreduction. CONCLUSIONS Secondary cytoreduction in endometrial cancer is associated with long PFS and OS. The only factors associated with improved long-term outcome are the absence of residual disease at the end of surgical resection and histotype.