A more general concept of a “logical translation” is that of transductions.
Briefly saying, in an addition to a simple interpretation, this allows
to add to a graph arbitrary “parameters” (as unary predicates) and to make
several disjoint copies of the graph.
A thorough discussion of this concept can be found in [1]},
but we prefer to keep the paper simple and accessible to
a wide audience of graph theorists,
and so we give a simplified version of the definition from [2]}.

Более общее понятие "логического перевода" - это понятие трансдукций.

Кратко говоря, кроме простого интерпретации, это позволяет добавить к графу произвольные "параметры" (как унарные предикаты) и сделать несколько несвязных копий графа.

Исчерпывающее обсуждение этого концепта можно найти в [1], но мы предпочитаем сохранить простоту и доступность статьи для широкой аудитории графовых теоретиков, поэтому мы приводим упрощенную версию определения из [2].