Аннотация:Выпускная квалификационная работа Пиманова А.С. посвящена изучению одного из наиболее распространенных методов доказательства разрешимости стандартных систем временной логики. В качестве самостоятельной исследовательской задачи была рассмотрена проблема разрешимости временных систем с нестандартными отношениями на временном потоке, построенными в работах выдающего отечественного логика В.А. Смирнова. Доказательство осуществлялось с применением метода конечных моделей.