Investigating the expressiveness of a diagrammatic logic provides insight into how its syntactic elements interact at the semantic level. Moreover, it allows for comparisons with other notations. Various expressiveness results for diagrammatic logics are known, such as the theorem that Shin’s Venn-II system is equivalent to monadic first order logic. The techniques employed by Shin for Venn-II ...

 In this paper by use of mathematical modeling of an observer [14,15] the notion of relative information functional for relative dynamical systemson compact metric spaces is presented. We extract the information function ofan ergodic dynamical system (X,T) from the relative information of T fromthe view point of observer χX, where X denotes the base space of the system.We also generalize the in...

Close-proximity Coulomb formation flying offers attractive prospects in multiple astronautical missions. A semi-analytical method of constructing the series solution up to an arbitrary order for relative motion near equilibrium systems is proposed facilitate design formations based on a Lindstedt–Poincaré method. The details expansion and coefficient $$m\!:\!n$$ -period orbits are discussed. To...