355 research outputs found

    Explicit Evidence Systems with Common Knowledge

    Full text link
    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

    TR-2011005: First-Order Logic of Proofs

    Full text link

    TR-2012011: Binding Modalities

    Full text link

    TR-2011008: The Ontology of Justifications in the Logical Setting

    Full text link

    Asymptotic normalization coefficients for mirror virtual nucleon decays in a microscopic cluster model

    Get PDF
    It has been suggested recently (Phys. Rev. Lett. 91, 232501 (2003)) that charge symmetry of nucleon-nucleon interactions relates the Asymptotic Normalization Coefficients (ANCs) of proton and neutron virtual decays of mirror nuclei. This relation is given by a simple analytical formula which involves proton and neutron separation energies, charges of residual nuclei and the range of their strong interaction with the last nucleon. Relation between mirror ANCs, if understood properly, can be used to predict astrophysically relevant direct proton capture cross sections using neutron ANCs measured with stable beams. In this work, we calculate one-nucleon ANCs for several light mirror pairs, using microscopic two-, three- and four-cluster models, and compare the ratio of mirror ANCs to the predictions of the simple analytic formula. We also investigate mirror symmetry between other characteristics of mirror one-nucleon overlap integrals, namely, spectroscopic factors and single-particle ANCs.Comment: 12 pages, submitted to Phys. Rev.

    On stress/strain state in a rotating disk

    Get PDF
    In the framework of mechanics of continuum bodies, the problem of stress/strain state in a high-speed rotating disk of constant thickness has been considered. The material of the disk is assumed to be homogeneous, elastic/perfectly-plastic. In the plastic zone, the stresses and plastic strains are related by some associated law similar to the one employed in deformation theory of plasticity. The general algorithm of the solution covers any smooth plasticity function. At some steps of the algorithm, it is possible to get analytical expressions, particularly, for the quadratic Mises yield criterion. For the given model, the notion of control parameters (external and internal) has been introduced. The allowable boundaries of external parameters have been defined as well. For some states of the disk, the coherent values of external parameters have been obtained. The results are represented graphically to show various states of the disk. The usage of piecewise plasticity functions has been briefly discussed. The results obtained can be used in preliminary engineering design and related numerical codes.info:eu-repo/semantics/publishedVersio
    corecore