On complexity of propositional linear-time temporal logic with finitely many variables

M. Rybakov; Shkatov D.

doi:10.1145/3278681.3278718

АБВ
АБВ
АБВ

Обычная версия сайта

Приоритетные направления

по году

Тематика

Новости

20 мая 2026 г.

«Еж» против «родственника»: ученые измерили, как мозг реагирует на неожиданные слова в живой речи

Российские нейрофизиологи с участием исследователей из НИУ ВШЭ показали, что изучать восприятие живой речи можно с помощью вызванных потенциалов. Они доказали, что метод применим не только к отдельным словам, но и к непрерывной речи. Оказалось, что слова, сильно отличающиеся по смыслу от предыдущего контекста, мозг обрабатывает дольше, а служебные слова анализирует в два этапа: сначала определяет их грамматическую роль, а затем на этой основе предсказывает следующее слово. Исследование опубликовано в журнале Frontiers in Human Neuroscience.

20 мая 2026 г.

Творческая работа как лекарство от выгорания

Творческая и доброжелательная атмосфера, новые методы в Международной лаборатории (впоследствии центре) социокультурных исследований привлекают молодых исследователей. За годы работы в Вышке они становятся учеными и преподавателями, известными в России и за рубежом. О своем пути в центре и в Вышке, исследованиях и роли наставников в научных успехах рассказали главный научный сотрудник ЦСКИ Зарина Лепшокова и ведущий научный сотрудник Екатерина Бушина.

19 мая 2026 г.

Физики НИУ ВШЭ выяснили, что происходит внутри устойчивого вихря

В атмосфере и в океане часто наблюдаются крупные вихри с характерными спиральными рукавами. Физики из НИУ ВШЭ объяснили, как они формируются и почему сохраняют свою структуру. Оказалось, что скорости в точках, расположенных вдоль одной дуги вихря, остаются связанными даже на больших расстояниях. При этом в направлении от центра вихря эта связь быстро ослабевает. Такие различия помогают объяснить образование рукавов и могут улучшить модели атмосферных и океанических течений. Результаты опубликованы в Physical Review Fluids.

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации

?

On complexity of propositional linear-time temporal logic with finitely many variables

P. 313–316.

Рыбаков М. Н., Shkatov D.

Язык: английский

DOI

Текст на другом сайте

Ключевые слова: finite-variable fragments Satisfiability problem Linear-time Temporal Logic model-checking

В книге

Proceedings of the Annual Conference of the South African Institute of Computer Scientists and Information Technologists

NY: ACM, 2018.

Complexity of finite-variable fragments of propositional temporal and modal logics of computation

Рыбаков М. Н., Shkatov D., Theoretical Computer Science 2022 Vol. 925 P. 45–60

Добавлено: 12 мая 2022 г.

О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени

Гнатенко А. Р., Захаров В. А., Моделирование и анализ информационных систем 2021 Т. 28 № 4 С. 356–371

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

Добавлено: 17 января 2022 г.

First-order rewritability of ontology-mediated queries in linear temporal logic

Artale A., Kontchakov R., Kovtunova A. и др., Artificial Intelligence 2021 Vol. 299 Article 103536

Добавлено: 30 сентября 2021 г.

Undecidability of the logic of partial quasiary predicates

Рыбаков М. Н., Shkatov D., Logic Journal of the IGPL 2022 Vol. 30 No. 3 P. 519–533

Добавлено: 29 мая 2021 г.

Complexity of finite-variable fragments of products with K

Рыбаков М. Н., Shkatov D., Journal of Logic and Computation 2021 Vol. 31 No. 2 P. 426–443

Добавлено: 24 сентября 2020 г.

Algorithmic properties of first-order modal logics of the natural number line in restricted languages

Рыбаков М. Н., Shkatov D., , in: Advances in Modal LogicVol. 13.: College Publications, 2020. P. 523–539.

Добавлено: 27 августа 2020 г.

Complexity and expressivity of Branching- and Alternating-time temporal logics with finitely many variables

Рыбаков М. Н., Shkatov D., , in: Theoretical Aspects of Computing – ICTAC 2018Vol. 11187.: Springer, 2018. P. 396–414.

Добавлено: 8 октября 2019 г.

Algorithmic properties of modal logics with restricted languages

Рыбаков М. Н., University of the Witwatersrand, Johannesburg, 2019.

Добавлено: 5 октября 2019 г.