On Completeness of Logics Enriched with Transitive Closure Modality

АБВ
АБВ
АБВ

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

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

по году

Тематика

30 октября 2026 г.

«Объект наших исследований - суперкомпьютер»

Феликс Смирнов занимается суперкомпьютерными технологиями, чтобы помогать другим ученым в их работе. В интервью проекту «Молодые ученые Вышки» он рассказал о настройке коммуникаций между узлами, своем увлечении кинематографом и о старых вывесках на Хитровке.

29 октября 2026 г.

Как прогнозировать будущее науки и технологий

Лаборатория исследований науки и технологий, действующая в структуре Института статистических исследований и экономики знаний НИУ ВШЭ, изучает текущее состояние научных исследований и разработок, анализирует тренды и их динамику, что позволяет понимать масштаб вызовов, связанных с применением новейших технологий, определять приоритеты будущих работ, формировать научную и промышленную политику. Новостная служба «Вышка.Главное» побеседовала с заведующей лабораторией Лилианой Проскуряковой и директором Форсайт-центра ИСИЭЗ Александром Соколовым.

29 октября 2026 г.

Плоская модель местности скрыла от симулятора потерю связи между машинами

Исследователи МИЭМ ВШЭ показали, что популярные симуляторы связи между автомобилями заметно переоценивают ее надежность, потому что считают рельеф местности плоским. Если учесть рельеф, мосты и туннели, доля потерянных соединений на горном серпантине вырастает с 21 до 30%, у эстакады — с 20 до 33%, а в туннеле — с нуля до 80%.Результаты опубликованы в журнале Future Transportation.

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

Публикации

?

On Completeness of Logics Enriched with Transitive Closure Modality

P. 1–3.

Shapirovsky I., Золин Е. Е.

We give a sufficient condition for Kripke completeness of the extension of a modal logic with the transitive closure modality. More precisely, we show that if a logic is canonical and admits what we call definable filtration (ADF), then such an extension is complete (and again ADF).

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

Ключевые слова: Kripke completeness

В книге

7th International Conference on Topology, Algebra and Categories in Logic (TACL 2015)

[б.и.], 2015.

Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness

Рыбаков М. Н., Logic Journal of the IGPL 2024 Vol. 32 No. 3 P. 465–492

Добавлено: 7 июля 2023 г.

On Kripke completeness of modal predicate logics around quantified K5

Valentin Shehtman, Annals of Pure and Applied Logic 2023 Vol. 174 No. 2 Article 103202

Добавлено: 30 января 2023 г.

Kripke incompleteness of first-order calculi with temporal modalities of CTL and near logics

Рыбаков М. Н., Котикова Е. А., Logical Investigations 2015 Vol. 21 No. 1 P. 86–99

Доказана неполнота по Крипке большого класса исчислений, содержащих аксиоматику CTL и QCL. ...

Добавлено: 20 июля 2020 г.

On existence of recursively-enumerable Kripke-complete first-order modal logics that are not Kripke complete with respect to a first-order definable class of frames

Рыбаков М. Н., Shkatov D., , in: Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г.: М.: Современные тетради, 2017. P. 45–45.

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

A recursively enumerable Kripke complete first-order logic not complete with respect to a first-order definable class of frames

Рыбаков М. Н., Shkatov D., , in: Advances in Modal LogicVol. 12.: College Publications, 2018. P. 531–539.

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

On Kripke completeness of some modal predicate logics with the density axiom

Шехтман В. Б., , in: Advances in Modal LogicVol. 12.: College Publications, 2018. P. 559–575.

Добавлено: 20 сентября 2018 г.