Arrow update logic

We present Arrow Update Logic, a theory of epistemic access elimination that can be used to reason about multi-agent belief change. While the belief-changing "arrow updates" of Arrow Update Logic can be transformed into equivalent belief-changing "action models" from the popular Dynamic Epistemic Logic approach, we prove that arrow updates are sometimes exponentially more succinct than action models. Further, since many examples of belief change are naturally thought of from Arrow Update Logic's perspective of eliminating access to epistemic possibilities, Arrow Update Logic is a valuable addition to the repertoire of logics of information change. In addition to proving basic results about Arrow Update Logic, we introduce a new notion of common knowledge that generalizes both ordinary common knowledge and the "relativized" common knowledge familiar from the Dynamic Epistemic Logic literature

A second-order, unconditionally positive, mass-conserving integration scheme for biochemical systems.

Biochemical systems are bound by two mathematically-relevant restrictions. First, state variables in such systems represent non-negative quantities, such as concentrations of chemical compounds. Second, biochemical systems conserve mass and energy. Both properties must be reflected in results of an integration scheme applied to biochemical models. This paper first presents a mathematical framework for biochemical problems, which includes an exact definition of biochemical conservation: elements and energy, rather than state variable units, are conserved. We then analyze various fixed-step integration schemes, including traditional Euler-based schemes and the recently published modified Patankar schemes, and conclude that none of these deliver unconditional positivity and biochemical conservation in combination with higher-order accuracy. Finally, we present two new fixed-step integration schemes, one first-order and one second-order accurate, which do guarantee positivity and (biochemical) conservatio