Constructive approach to logics of physical systems: Application to EPR case