Modal logic S5 is commonly viewed as an epistemic logic that captures the most basic properties of knowledge. Kripke proved a completeness theorem for the first-order modal logic S5 with respect to a possible worlds semantics. A multiagent version of the propositional S5 as well as a version of the propositional S5 that describes properties of distributed knowledge in multiagent systems has also been previously studied. This article proposes a version of S5-like epistemic logic of distributed knowledge with quantifiers ranging over the set of agents, and proves its soundness and completeness with respect to a Kripke semantics.

In most bony fishes vertebral column strain during locomotion is almost exclusively in the intervertebral joints, and when these joints move there is the potential to store and release strain energy. Since cartilaginous fishes have poorly mineralized vertebral centra, we tested whether the vertebral bodies undergo substantial strain and thus may be sites of energy storage during locomotion. ...