 Still, there are logics which are only reasonably presented by syntactical means, or exclusively by semantical means. Such is the case, e.g., of the first-order theory of torsion groups, known to be non-axiomatizable, and of incomplete modal logics which are only presented in syntactical (proof-theoretical) terms.