Prolongments of Ensaio: Schrödinger Logics and Quasi-Set Theory