Arden Logics