Círculo de Viena
A semantics based upon assertion conditions is called a verificationist semantics: cf. the verificationism of the Vienna Circle.