A Finite Model Property for Gödel Modal Logics

A new semantics with the finite model property is provided and used to establish decidability for Gödel modal logics based on (crisp or fuzzy) Kripke frames combined locally with Gödel logic. A similar methodology is also used to establish decidability, and indeed co-NP-completeness for a Gödel S5 logic that coincides with the one-variable fragment of first-order Gödel logic.

SOLAR RADIATION PRESSURE AND LOCAL INTERSTELLAR MEDIUM FLOW PARAMETERS FROM INTERSTELLAR BOUNDARY EXPLORER LOW ENERGY HYDROGEN MEASUREMENTS

Neutral hydrogen atoms that travel into the heliosphere from the local interstellar medium (LISM) experience strong effects due to charge exchange and radiation pressure from resonant absorption and re-emission of Lyα. The radiation pressure roughly compensates for the solar gravity. As a result, interstellar hydrogen atoms move along trajectories that are quite different than those of heavier interstellar species such as helium and oxygen, which experience relatively weak radiation pressure. Charge exchange leads to the loss of primary neutrals from the LISM and the addition of new secondary neutrals from the heliosheath. IBEX observations show clear effects of radiation pressure in a large longitudinal shift in the peak of interstellar hydrogen compared with that of interstellar helium. Here, we compare results from the Lee et al. interstellar neutral model with IBEX-Lo hydrogen observations to describe the distribution of hydrogen near 1 AU and provide new estimates of the solar radiation pressure. We find over the period analyzed from 2009 to 2011 that radiation pressure divided by the gravitational force (μ) has increased slightly from μ = 0.94 ± 0.04 in 2009 to μ = 1.01 ± 0.05 in 2011. We have also derived the speed, temperature, source longitude, and latitude of the neutral H atoms and find that these parameters are roughly consistent with those of interstellar He, particularly when considering the filtration effects that act on H in the outer heliosheath. Thus, our analysis shows that over the period from 2009 to 2011, we observe signatures of neutral H consistent with the primary distribution of atoms from the LISM and a radiation pressure that increases in the early rise of solar activity.

Evidence of direct detection of interstellar deuterium in the local interstellar medium by IBEX

We report the first in situ measurements of neutral deuterium originating in the local interstellar medium (LISM) in Earth’s orbit. These measurements were performed with the IBEX-Lo camera on NASA’s interstellar boundary explorer (IBEX) satellite. All data from the spring observation periods of 2009 through 2011 have been analysed. In the three years of the IBEX mission time, the observation geometry and orbit allowed for a total observation time of 115.3 days for the LISM. However, the effects of the spinning spacecraft and the stepping through 8 energy channels mean that we are only observing the interstellar wind for a total time of 1.44 days, in which 2 counts for interstellar deuterium were collected. We report here a conservative number, because a possibility of systematic error or additional noise, though eliminated in our analysis to the best of our knowledge, only supports detection at a 1-sigma level. From these observations, we derive a ratio D/H = (5.8 ± 4.4) × 10-4 at 1 AU. After modelling the transport and loss of D and H from the termination shock to Earth’s orbit, we find that our result of D/HLISM = (1.6 ± 1.2) × 10-5 agrees with D/HLIC = (1.6 ± 0.4) × 10-5 for the local interstellar cloud. This weak interstellar signal is extracted from a strong terrestrial background signal consisting of sputter products from the sensor’s conversion surface. As reference, we accurately measure the terrestrial D/H ratio in these sputtered products and then discriminate this terrestrial background source. Because of the diminishing D and H signal at Earth’s orbit during the rising solar activity due to photoionisation losses and increased photon pressure, our result demonstrates that in situ measurements of interstellar deuterium in the inner heliosphere are only possible during solar minimum conditions.

Solar wind reflection from the lunar surface: The view from far and near

The Moon appears bright in the sky as a source of energetic neutral atoms (ENAs). These ENAs have recently been imaged over a broad energy range both from near the lunar surface, by India's Chandrayaan-1 mission (CH-1), and from a much more distant Earth orbit by NASA's Interstellar Boundary Explorer (IBEX) satellite. Both sets of observations have indicated that a relatively large fraction of the solar wind is reflected from the Moon as energetic neutral hydrogen. CH-1's angular resolution over different viewing angles of the lunar surface has enabled measurement of the emission as a function of angle. IBEX in contrast views not just a swath but a whole quadrant of the Moon as effectively a single pixel, as it subtends even at the closest approach no more than a few degrees on the sky. Here we use the scattering function measured by CH-1 to model global lunar ENA emission and combine these with IBEX observations. The deduced global reflection is modestly larger (by a factor of 1.25) when the angular scattering function is included. This provides a slightly updated IBEX estimate of AH=0.11±0.06 for the global neutralized albedo, which is ˜25% larger than the previous values of 0.09±0.05, based on an assumed uniform scattering distribution.

Wild pollinators enhance fruit set of crops regardless of honey bee abundance.

The diversity and abundance of wild insect pollinators have declined in many agricultural landscapes. Whether such declines reduce crop yields, or are mitigated by managed pollinators such as honey bees, is unclear. We found universally positive associations of fruit set with flower visitation by wild insects in 41 crop systems worldwide. In contrast, fruit set increased significantly with flower visitation by honey bees in only 14% of the systems surveyed. Overall, wild insects pollinated crops more effectively; an increase in wild insect visitation enhanced fruit set by twice as much as an equivalent increase in honey bee visitation. Visitation by wild insects and honey bees promoted fruit set independently, so pollination by managed honey bees supplemented, rather than substituted for, pollination by wild insects. Our results suggest that new practices for integrated management of both honey bees and diverse wild insect assemblages will enhance global crop yields.

Efficacy of a dilemma-focused intervention for unipolar depression: study protocol for a multicenter randomized controlled trial

BACKGROUND: Depression is one of the more severe and serious health problems because of its morbidity, disabling effects and for its societal and economic burden. Despite the variety of existing pharmacological and psychological treatments, most of the cases evolve with only partial remission, relapse and recurrence.Cognitive models have contributed significantly to the understanding of unipolar depression and its psychological treatment. However, success is only partial and many authors affirm the need to improve those models and also the treatment programs derived from them. One of the issues that requires further elaboration is the difficulty these patients experience in responding to treatment and in maintaining therapeutic gains across time without relapse or recurrence. Our research group has been working on the notion of cognitive conflict viewed as personal dilemmas according to personal construct theory. We use a novel method for identifying those conflicts using the repertory grid technique (RGT). Preliminary results with depressive patients show that about 90% of them have one or more of those conflicts. This fact might explain the blockage and the difficult progress of these patients, especially the more severe and/or chronic. These results justify the need for specific interventions focused on the resolution of these internal conflicts. This study aims to empirically test the hypothesis that an intervention focused on the dilemma(s) specifically detected for each patient will enhance the efficacy of cognitive behavioral therapy (CBT) for depression. DESIGN: A therapy manual for a dilemma-focused intervention will be tested using a randomized clinical trial by comparing the outcome of two treatment conditions: combined group CBT (eight, 2-hour weekly sessions) plus individual dilemma-focused therapy (eight, 1-hour weekly sessions) and CBT alone (eight, 2-hour group weekly sessions plus eight, 1-hour individual weekly sessions). METHOD: Participants are patients aged over 18 years meeting diagnostic criteria for major depressive disorder or dysthymic disorder, with a score of 19 or above on the Beck depression inventory, second edition (BDI-II) and presenting at least one cognitive conflict (implicative dilemma or dilemmatic construct) as assessed using the RGT. The BDI-II is the primary outcome measure, collected at baseline, at the end of therapy, and at 3- and 12-month follow-up; other secondary measures are also used. DISCUSSION: We expect that adding a dilemma-focused intervention to CBT will increase the efficacy of one of the more prestigious therapies for depression, thus resulting in a significant contribution to the psychological treatment of depression. TRIAL REGISTRATION: ISRCTN92443999; ClinicalTrials.gov Identifier: NCT01542957.

Eisenmenger der Zweite : nebst einem vorangesetzten Sendschreiben an den Herrn Professor Fichte in Jena

von S. Ascher

Das Wesen des jüdischen Religionsunterrichts

von S. Kaatz

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.

Die mündliche Lehre und ihr Dogma

von S. Kaatz

Talmudisch-rabbinische Sätze über Rechtsbeziehungen zu Nichtjuden

von S. Kaatz