Explicit Evidence Systems with Common Knowledge

Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms for individual agents as well as for common knowledge. We define a Kripke-style semantics that is similar to Fitting's semantics for the Logic of Proofs LP. We show the soundness, completeness, and finite model property of our multi-agent justification logic with respect to this Kripke-style semantics. We demonstrate that our logic is a conservative extension of Yavorskaya's minimal bimodal explicit evidence logic, which is a two-agent version of LP. We discuss the relationship of our logic to the multi-agent modal logic S4 with common knowledge. Finally, we give a brief analysis of the coordinated attack problem in the newly developed language of our logic

Associations between preschool attendance and developmental impairments in pre-school children in a six-year retrospective survey

BACKGROUND: Many school-aged children suffer physical and mental impairments which can adversely affect their development and result in significant morbidity. A high proportion of children in western countries attend pre-school, and it is likely that the preschool environment influences the prevalence and severity of these impairments. Currently there is insufficient data available on the prevalence of these impairments and their causal associations. The influence that location of a pre-school and the duration of preschool attendance have on the prevalence of these impairments is not known. METHODS: In a retrospective survey spanning six years (1997–2002) we reviewed the records of 6,230 preschool children who had undergone routine school entry assessments. These children had been assessed utilising a modified manual of the "Bavarian Model" for school entry examinations. This model outlines specific criteria for impairments of motor, cognitive, behavioural and psychosocial functioning. Prevalence rates for physical and behavioural impairments were based on the results of these assessments. The relationship between the prevalence of impairments and the duration of preschool attendance and the location of the preschool attended was estimated utilizing logistic regression models. RESULTS: We found that 20.7% of children met the criteria for at least one type of impairment. Highest prevalence rates (11.5%) were seen for speech impairments and lowest (3.5%) for arithmetic impairments. Boys were disproportionately over represented, with 25.5% meeting the criteria for impairment, compared to 13.0% for girls. Children who had attended preschool for less than one year demonstrated higher rates of impairment (up to 19.1% for difficulties with memory, concentration or perseverance) compared to those who had attended for a longer duration (up to 11.6% for difficulties with pronouncation). Children attending preschool in an urban location had slightly elevated rates of impairment (up to 12.7%), compared to their rural counterparts (up to 11.1%). CONCLUSION: Our results demonstrate that there are high prevalence rates for physical and mental impairments among preschool children. Furthermore, children without preschool experience are a risk group for struggling with educational successes. The associations between the duration of preschool attendance and location of preschool attended and rates of impairment need replication and further exploration. Larger prospective studies are needed to examine if these relationships are causal and may therefore lend themselves to specific intervention strategies

B →Vℓ+ℓ− in the Standard Model from light-cone sum rules

We present $B_q\to\rho$, $B_q\to\omega$, $B_q\to K^*$, $B_s\to K^*$ and $B_s\to \phi$ form factors from light-cone sum rules (LCSR) at $\mathcal{O}(\alpha_s)$ for twist-2 and 3 and $\mathcal{O}(\alpha_s^0)$ for twist-4 with updated hadronic input parameters. Three asymptotic light-cone distribution amplitudes of twist-$4$ (and $5$) are determined, necessary for the form factors to obey the equations of motion. It is argued that the latter constrain the uncertainty of tensor-to-vector form factor ratios thereby improving the prediction of zeros of helicity amplitudes of major importance for $B\to K^*\ell\ell$ angular observables. We provide easy-to-use fits to the LCSR results, including the full error correlation matrix, in all modes at low $q^2$ as well as combined fits to LCSR and lattice results covering the entire kinematic range for $B_q\to K^*$, $B_s\to K^*$ and $B_s\to \phi$. The error correlation matrix avoids the problem of overestimating the uncertainty in phenomenological applications. Using the new form factors and recent computations of non-factorisable contributions we provide Standard Model predictions for $B\to K^*\gamma$ as well as $B\to K^*\ell^+\ell^-$ and $B_s\to\phi\mu^+\mu^-$ at low dilepton invariant mass. Employing our $B \to (\rho,\omega)$ form factor results we extract the CKM element $|V_\mathrm{ub}|$ from the semileptonic decays $B\to(\rho,\omega) \ell\nu$ and find good agreement with other exclusive determinations.Comment: 64 pages, 7 figures, 15 tables. v3: Minor clarifications, numerics unchanged. Matches version published in JHE

Brain structure and function: a multidisciplinary pipeline to study hominoid brain evolution

To decipher the evolution of the hominoid brain and its functions, it is essential to conduct comparative studies in primates, including our closest living relatives. However, strong ethical concerns preclude in vivo neuroimaging of great apes. We propose a responsible and multidisciplinary alternative approach that links behavior to brain anatomy in non-human primates from diverse ecological backgrounds. The brains of primates observed in the wild or in captivity are extracted and fixed shortly after natural death, and then studied using advanced MRI neuroimaging and histology to reveal macro- and microstructures. By linking detailed neuroanatomy with observed behavior within and across primate species, our approach provides new perspectives on brain evolution. Combined with endocranial brain imprints extracted from computed tomographic scans of the skulls these data provide a framework for decoding evolutionary changes in hominin fossils. This approach is poised to become a key resource for investigating the evolution and functional differentiation of hominoid brains

The type VII secretion system of <i>Staphylococcus aureus</i> secretes a nuclease toxin that targets competitor bacteria

The type VII protein secretion system (T7SS) plays a critical role in the virulence of human pathogens including Mycobacterium tuberculosis and Staphylococcus aureus. Here we report that the S. aureus T7SS secretes a large nuclease toxin, EsaD. The toxic activity of EsaD is neutralised during its biosynthesis through complex formation with an antitoxin, EsaG, which binds to its C-terminal nuclease domain. The secretion of EsaD is dependent upon a further accessory protein, EsaE, that does not interact with the nuclease domain, but instead binds to the EsaD N-terminal region. EsaE has a dual cytoplasmic/membrane localization and membrane-bound EsaE interacts with the T7SS secretion ATPase, EssC, implicating EsaE in targeting the EsaDG complex to the secretion apparatus. EsaD and EsaE are co-secreted whereas EsaG is found only in the cytoplasm and may be stripped off during the secretion process. Strain variants of S. aureus that lack esaD encode at least two copies of EsaG-like proteins most likely to protect themselves from the toxic activity of EsaD secreted by esaD(+) strains. In support of this, a strain overproducing EsaD elicits significant growth inhibition against a sensitive strain. We conclude that T7SSs may play unexpected and key roles in bacterial competitiveness

The Origins of Concentric Demyelination: Self-Organization in the Human Brain

Baló's concentric sclerosis is a rare atypical form of multiple sclerosis characterized by striking concentric demyelination patterns. We propose a robust mathematical model for Baló's sclerosis, sharing common molecular and cellular mechanisms with multiple sclerosis. A reconsideration of the analogies between Baló's sclerosis and the Liesegang periodic precipitation phenomenon led us to propose a chemotactic cellular model for this disease. Rings of demyelination appear as a result of self-organization processes, and closely mimic Baló lesions. According to our results, homogeneous and concentric demyelinations may be two different macroscopic outcomes of a single fundamental immune disorder. Furthermore, in chemotactic models, cellular aggressivity appears to play a central role in pattern formation

A far-ultraviolet-driven photoevaporation flow observed in a protoplanetary disk.

Most low-mass stars form in stellar clusters that also contain massive stars, which are sources of far-ultraviolet (FUV) radiation. Theoretical models predict that this FUV radiation produces photodissociation regions (PDRs) on the surfaces of protoplanetary disks around low-mass stars, which affects planet formation within the disks. We report James Webb Space Telescope and Atacama Large Millimeter Array observations of a FUV-irradiated protoplanetary disk in the Orion Nebula. Emission lines are detected from the PDR; modeling their kinematics and excitation allowed us to constrain the physical conditions within the gas. We quantified the mass-loss rate induced by the FUV irradiation and found that it is sufficient to remove gas from the disk in less than a million years. This is rapid enough to affect giant planet formation in the disk

PDRs4All IV. An embarrassment of riches: Aromatic infrared bands in the Orion Bar

(Abridged) Mid-infrared observations of photodissociation regions (PDRs) are dominated by strong emission features called aromatic infrared bands (AIBs). The most prominent AIBs are found at 3.3, 6.2, 7.7, 8.6, and 11.2 $\mu$m. The most sensitive, highest-resolution infrared spectral imaging data ever taken of the prototypical PDR, the Orion Bar, have been captured by JWST. We provide an inventory of the AIBs found in the Orion Bar, along with mid-IR template spectra from five distinct regions in the Bar: the molecular PDR, the atomic PDR, and the HII region. We use JWST NIRSpec IFU and MIRI MRS observations of the Orion Bar from the JWST Early Release Science Program, PDRs4All (ID: 1288). We extract five template spectra to represent the morphology and environment of the Orion Bar PDR. The superb sensitivity and the spectral and spatial resolution of these JWST observations reveal many details of the AIB emission and enable an improved characterization of their detailed profile shapes and sub-components. While the spectra are dominated by the well-known AIBs at 3.3, 6.2, 7.7, 8.6, 11.2, and 12.7 $\mu$m, a wealth of weaker features and sub-components are present. We report trends in the widths and relative strengths of AIBs across the five template spectra. These trends yield valuable insight into the photochemical evolution of PAHs, such as the evolution responsible for the shift of 11.2 $\mu$m AIB emission from class B$_{11.2}$ in the molecular PDR to class A$_{11.2}$ in the PDR surface layers. This photochemical evolution is driven by the increased importance of FUV processing in the PDR surface layers, resulting in a "weeding out" of the weakest links of the PAH family in these layers. For now, these JWST observations are consistent with a model in which the underlying PAH family is composed of a few species: the so-called 'grandPAHs'.Comment: 25 pages, 10 figures, to appear in A&

PDRs4All II: JWST's NIR and MIR imaging view of the Orion Nebula

The JWST has captured the most detailed and sharpest infrared images ever taken of the inner region of the Orion Nebula, the nearest massive star formation region, and a prototypical highly irradiated dense photo-dissociation region (PDR). We investigate the fundamental interaction of far-ultraviolet photons with molecular clouds. The transitions across the ionization front (IF), dissociation front (DF), and the molecular cloud are studied at high-angular resolution. These transitions are relevant to understanding the effects of radiative feedback from massive stars and the dominant physical and chemical processes that lead to the IR emission that JWST will detect in many Galactic and extragalactic environments. Due to the proximity of the Orion Nebula and the unprecedented angular resolution of JWST, these data reveal that the molecular cloud borders are hyper structured at small angular scales of 0.1-1" (0.0002-0.002 pc or 40-400 au at 414 pc). A diverse set of features are observed such as ridges, waves, globules and photoevaporated protoplanetary disks. At the PDR atomic to molecular transition, several bright features are detected that are associated with the highly irradiated surroundings of the dense molecular condensations and embedded young star. Toward the Orion Bar PDR, a highly sculpted interface is detected with sharp edges and density increases near the IF and DF. This was predicted by previous modeling studies, but the fronts were unresolved in most tracers. A complex, structured, and folded DF surface was traced by the H2 lines. This dataset was used to revisit the commonly adopted 2D PDR structure of the Orion Bar. JWST provides us with a complete view of the PDR, all the way from the PDR edge to the substructured dense region, and this allowed us to determine, in detail, where the emission of the atomic and molecular lines, aromatic bands, and dust originate