Some Remarks on the Model Theory of Epistemic Plausibility Models

Classical logics of knowledge and belief are usually interpreted on Kripke models, for which a mathematically well-developed model theory is available. However, such models are inadequate to capture dynamic phenomena. Therefore, epistemic plausibility models have been introduced. Because these are much richer structures than Kripke models, they do not straightforwardly inherit the model-theoretical results of modal logic. Therefore, while epistemic plausibility structures are well-suited for modeling purposes, an extensive investigation of their model theory has been lacking so far. The aim of the present paper is to fill exactly this gap, by initiating a systematic exploration of the model theory of epistemic plausibility models. Like in 'ordinary' modal logic, the focus will be on the notion of bisimulation. We define various notions of bisimulations (parametrized by a language L) and show that L-bisimilarity implies L-equivalence. We prove a Hennesy-Milner type result, and also two undefinability results. However, our main point is a negative one, viz. that bisimulations cannot straightforwardly be generalized to epistemic plausibility models if conditional belief is taken into account. We present two ways of coping with this issue: (i) adding a modality to the language, and (ii) putting extra constraints on the models. Finally, we make some remarks about the interaction between bisimulation and dynamic model changes.Comment: 19 pages, 3 figure

Global ocean modeling and state estimation in support of climate research

During the last decade it has become obvious that the ocean circulation shows vigorous variability on a wide range of time and space scales and that the concept of a "sluggish" and slowly varying circulation is rather elusive. Increasing emphasis has to be put, therefore, on observing the rapidly changing ocean state on time scales ranging from weeks to decades and beyond, and on understanding the ocean's response to changing atmospheric forcing conditions. As outlined in various strategy and implementation documents (e.g., the implementation plans of WOCE, AMS, CLIVAR, and GODAE) a combination of the global ocean data sets with a state-of-the-art numerical circulation model is required to interpret the various diverse data sets and to produce the best possible estimates of the time-varying ocean circulation. The mechanism of ocean state estimates is a powerful tool for such a "synthesis" of observations, obtained on very complex space-time pattern, into one dynamically consistent picture of the global time-evolving ocean circulation. This process has much in common with ongoing analysis and reanalysis activities in the atmospheric community. But because the ocean is, and will remain for the foreseeable future, substantially under-sampled, the burden put on the modeling and estimations components is substantially larger than in the atmosphere. Moreover, the smaller dynamical eddy scales which need to be properly parameterized or resolved in ocean model simulations, put stringent requirements on computational resources for ongoing and participated climate research

A five-stage treatment train for water recovery from urine and shower water for long-term human Space missions

Long-term human Space missions will rely on regenerative life support as resupply of water, oxygen and food comes with constraints. The International Space Station (ISS) relies on an evaporation/condensation system to recover 74-85% of the water in urine, yet suffers from repetitive scaling and biofouling while employing hazardous chemicals. In this study, an alternative non-sanitary five-stage treatment train for one "astronaut" was integrated through a sophisticated monitoring and control system. This so-called Water Treatment Unit Breadboard (WTUB) successfully treated urine (1.2-L-d with crystallisation, COD-removal, ammonification, nitrification and electrodialysis, before it was mixed with shower water (3.4-L-d(-1)). Subsequently, ceramic nanofiltration and single-pass flat-sheet RO were used. A four-months proof-of-concept period yielded: (i) chemical water quality meeting the hygienic standards of the European Space Agency, (ii) a 87- +/- -5% permeate recovery with an estimated theoretical primary energy requirement of 0.2-kWh p -L-1, (iii) reduced scaling potential without anti-scalant addition and (iv) and a significant biological reduction in biofouling potential resulted in stable but biofouling-limited RO permeability of 0.5 L-m(-2)-h(-1)-bar(-1). Estimated mass breakeven dates and a comparison with the ISS Water Recovery System for a hypothetical Mars transit mission show that WTUB is a promising biological membrane-based alternative to heat-based systems for manned Space missions

Single-spin asymmetries in semi-inclusive deep-inelastic scattering on a transversely polarized hydrogen target

Single-spin asymmetries for semi-inclusive electroproduction of charged pions in deep-inelastic scattering of positrons are measured for the first time with transverse target polarization. The asymmetry depends on the azimuthal angles of both the pion ($\phi$) and the target spin axis ($\phi_S$) about the virtual photon direction and relative to the lepton scattering plane. The extracted Fourier component \cmpi is a signal of the previously unmeasured quark transversity distribution, in conjunction with the so-called Collins fragmentation function, also unknown. The Fourier component \smpi of the asymmetry arises from a correlation between the transverse polarization of the target nucleon and the intrinsic transverse momentum of quarks, as represented by the previously unmeasured Sivers distribution function. Evidence for both signals is observed, but the Sivers asymmetry may be affected by exclusive vector meson productio

First Measurement of the Tensor Structure Function b1b_1 of the Deuteron

The \Hermes experiment has investigated the tensor spin structure of the deuteron using the 27.6 GeV/c positron beam of \Hera. The use of a tensor polarized deuteron gas target with only a negligible residual vector polarization enabled the first measurement of the tensor asymmetry \At and the tensor structure function \bd for average values of the Bj{\o}rken variable $0.01<0.45$ and of the squared four-momentum transfer $0.5 {\rm GeV^2} <5 {\rm GeV^2}$. The quantities \At and \bd are found to be non-zero. The rise of \bd for decreasing values of $x$ can be interpreted to originate from the same mechanism that leads to nuclear shadowing in unpolarized scattering

Search for an exotic S=-2, Q=-2 baryon resonance at a mass near 1862 MeV in quasi-real photoproduction

A search for an exotic baryon resonance with $S=-2, Q=-2$ has been performed in quasi-real photoproduction on a deuterium target through the decay channel $\Xi^- \pi^- \to \Lambda \pi^- \pi^- \to p \pi^- \pi^- \pi^-$. No evidence for a previously reported $\Xi^{--}(1860)$ resonance is found in the $\Xi^- \pi^-$invariant mass spectrum. An upper limit for the photoproduction cross section of 2.1 nb is found at the 90% confidence level. The photoproduction cross section for the $\Xi^{0}(1530)$ is found to be between 9 and 24 nb

Double hadron leptoproduction in the nuclear medium

First measurement of double-hadron production in deep-inelastic scattering has been measured with the HERMES spectrometer at HERA using a 27.6 GeV positron beam with deuterium, nitrogen, krypton and xenon targets. The influence of the nuclear medium on the ratio of double-hadron to single-hadron yields has been investigated. Nuclear effects are clearly observed but with substantially smaller magnitude and reduced $A$-dependence compared to previously measured single-hadron multiplicity ratios. The data are in fair agreement with models based on partonic or pre-hadronic energy loss, while they seem to rule out a pure absorptive treatment of the final state interactions. Thus, the double-hadron ratio provides an additional tool for studying modifications of hadronization in nuclear matter

Subleading-twist effects in single-spin asymmetries in semi-inclusive deep-inelastic scattering on a longitudinally polarized hydrogen target

Single-spin asymmetries in the semi-inclusive production of charged pions in deep-inelastic scattering from transversely and longitudinally polarized proton targets are combined to evaluate the subleading-twist contribution to the longitudinal case. This contribution is significantly positive for (\pi^+) mesons and dominates the asymmetries on a longitudinally polarized target previously measured by \hermes. The subleading-twist contribution for (\pi^-) mesons is found to be small