On the Existence of Characterization Logics and Fundamental Properties of Argumentation Semantics