Отсутствие интерполяции и свойства Бета во временных логиках с оператором “the next”

Рассматриваются временные логики с дискретными моментами времени, в том числе логика с разветвленным временем и логики с линейным временем. Доказано, что аналоги теоремы Бета об определимости и теоремы Крейга об интерполяции не выполняются в этих логиках.
Библиогр. 12.