Title: On an extended logic of relations