Constructive approach to logics of physical systems: Application to EPR case | Publicación