Some abstract versions of Goedel’s Second Incompleteness Theorem based on non-classical logics