HR Logics