Self-referentiality in Constructive Semantics of Intuitionistic and Modal Logics