Neighbourhood Frame Product KxK

A. Kudinov

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

2 октября 2026 г.

В НИУ ВШЭ обсудили этические границы взаимодействия человека и антропоморфного робота

В Высшей школе экономики состоялся экспертный семинар Центра этики и онтологии роботов Института робототехнических систем (ИРС), посвященный разработке практических требований к проектированию и безопасному внедрению антропоморфных роботов. Участники обсудили, как перевести этические принципы в технические параметры, протоколы проверки и требования к эксплуатации робототехнических систем.

1 октября 2026 г.

Смыслы, скорость и локальный код: как изменится потребительский спрос в креативных индустриях к 2029 году

Институт развития креативных индустрий ФКИ ВШЭ подвел итоги масштабного Трендвотчинг-исследования, проведенного весной 2026 года. В нем приняли участие более 300 ведущих экспертов. Одним из ключевых выводов стало понимание: потребитель больше не покупает продукт как набор функций. Он выбирает отношение, скорость, смысл и личную вовлеченность. В качестве доминирующего тренда на трехлетнем горизонте зафиксирован переход от материальных характеристик продукта к нематериальным.

1 октября 2026 г.

Российские ученые оценили скрытые риски болезней сердца у 43 тысяч человек

Исследователи НИУ ВШЭ и «Биотехнологического кампуса» проанализировали более 43 000 геномов здоровых участников Национальной генетической инициативы «100 000+Я». У 559 человек обнаружили патогенные или вероятно патогенные варианты генов, связанные с риском сердечно-сосудистых заболеваний. Такие данные позволяют раньше начать лечение или провести дополнительное обследование. О результатах исследования ученые рассказали на конгрессе «Генетика и сердце» в НИУ ВШЭ.

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

Публикации

?

Neighbourhood Frame Product KxK

P. 373–386.

Кудинов А. В.

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

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

Ключевые слова: modal logic product of modal logics

В книге

Advances in Modal Logic. Volume 10

College Publications, 2014.

Modal Products and Around

Шехтман В. Б., Gagarin A., , in: Graph Games and Logic Design. Recent Developments and Further Directions. (TREN, volume 66)Vol. 66.: Springer, 2026. Ch. 17 P. 419–450.

Добавлено: 30 июня 2026 г.

Graph Games and Logic Design. Recent Developments and Further Directions. (TREN, volume 66)

Springer, 2026.

Добавлено: 30 июня 2026 г.

Products of Horn modal logics

Гагарин А. А., , in: Advances in Modal Logic 2024. Short Papers.: [б.и.], 2024. P. 21–26.

Добавлено: 15 августа 2024 г.

Advances in Modal Logic 2024. Short Papers

[б.и.], 2024.

The book contains short papers presented at AiML 2024. ...

Добавлено: 15 августа 2024 г.

Advances in Modal Logic

College Publications, 2024.

Advances in Modal Logic (AiML) is an initiative founded in 1995 and aimed at presenting an up-to-date picture of the state of the art in modal logic and its many applications. It consists of a conference series together with volumes based on the conferences. The conference series is the main international forum at which research ...

Добавлено: 14 августа 2024 г.

Variations on the Kripke trick

Рыбаков М. Н., Shkatov D., Studia Logica 2025 Vol. 113 P. 1–48

Добавлено: 2 декабря 2023 г.

Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames

Рыбаков М. Н., Shkatov D., Journal of Logic and Computation 2025 Vol. 35 No. 2 Article exad078

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

Complexity function and complexity of validity of modal and superintuitionistic propositional logics

Рыбаков М. Н., Shkatov D., Journal of Logic and Computation 2023 Vol. 33 No. 7 P. 1566–1595

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

On Strictly Positive Fragments of Modal Logics with Confluence

Kikot S., Кудинов А. В., Mathematics 2022 Vol. 10 No. 19 Article 3701

Добавлено: 10 октября 2022 г.

Correction to: Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter

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

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

Nāgārjunian-Yogācārian Modal Logic versus Aristotelian Modal Logic

Шуман А. Н., Journal of Indian Philosophy 2021 Vol. 49 P. 467–498

Добавлено: 21 июля 2021 г.

Modal logics with transitive closure: Completeness, decidability, filtration

Kikot S., Шапировский И., Золин Е. Е., , in: Advances in Modal LogicVol. 13.: College Publications, 2020. P. 369–388.

Добавлено: 2 декабря 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 г.

Segerberg squares of modal logics and theories of relation algebras

Шехтман В. Б., , in: Larisa Maksimova on Implication, Interpolation, and Definability.: Cham: Springer, 2018. P. 245–296.

We establish a natural translation from word rewriting systems to strictly positive polymodal logics. Thereby, the latter can be considered as a generalization of the former. As a corollary we obtain examples of undecidable finitely axiomatizable strictly positive normal modal logics. The translation has its counterpart on the level of proofs: we formulate a natural ...

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

Larisa Maksimova on Implication, Interpolation, and Definability

Cham: Springer, 2018.

This edited volume focuses on the work of Professor Larisa Maksimova, providing a comprehensive account of her outstanding contributions to different branches of non-classical logic. The book covers themes ranging from rigorous implication, relevance and algebraic logic, to interpolation, definability and recognizability in superintuitionistic and modal logics. It features both her scientific autobiography and original ...

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

Local tabularity without transitivity

Шехтман В. Б., Shapirovsky I., , in: Advances in Modal LogicVol. 11.: L.: College Publications, 2016. P. 520–534.

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