first-order logics of relational systems
scientific article