The aim of this paper is to use Dynamic Logic as a common logical framework to describe and identify the most relevant formal characteristics of Reflective Logical Architectures (RLA) in order to investigate the expressive power of the KBSs that can be built upon them, from now on called Reflective Knowledge Bases (RKB). In general, a RLA allows to build RKBs as a set of units with initial loca...

A traditional wavelet is a special case of a vector in a separable Hilbert space that generates a basis under the action of a system of unitary operators defined in terms of translation and dilation operations. A Coxeter/fractal-surface wavelet is obtained by defining fractal surfaces on foldable figures, which tesselate the embedding space by reflections in their bounding hyperplanes instead o...

    Over the past few decades, the family affected by the processes, and consequences of modernization has experienced profound changes in both objective-structural and semantic-subjective levels. The family has faced new issues, some of which represent progress and welfare, and some suggest traumatic social issues which reduce the pace of development in the society as hindering factors. Thus, ...

In this paper I shall extend the formulation of the hole argument to permutable theories. As covariant theories provides a general mathematical framework for classical physics, permutable theories provide the language for quantum physics. This analogy is deeply founded: as covariant theories are defined functorially on the category of manifolds and local diffeomorphisms with values into the cat...