Рассматриваются языки вычислений в одном классе моделей распределенных вычислений - однородных событийных структур - и их представимость в логических языках
   Языки бесконечных конфигураций представимы в логике одноместных предикатов второго порядка.
   Языки доказывающих последовательностей представимы в логике Пресбургера, дополненной конечным множеством одноместных предикатов.