Model-Theoretical Abstract Logics -- Selfextensional Logics with Implication -- Logic