О свойстве редукции для GLP-алгебр

Л. Д. Беклемишев

doi:10.7868/S0869565217040041

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

16 июня 2026 г.

Публичность ученого: идеальная мера

Еще недавно публичность для ученого считалась чем-то факультативным – полезным, но необязательным. Сегодня она все чаще встроена в научную работу. Не потому, что «надо быть в медиа», а потому что без внешней проявленности исследования могут просто не найти ни аудитории, ни партнеров, ни продолжения. Об этом в статье для IQ Media размышляет эксперт по научным коммуникациям, доцент факультета географии Высшей школы экономики Надежда Пупышева.

15 июня 2026 г.

Ученые ВШЭ выяснили, кто чаще проверяет информацию в интернете

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

15 июня 2026 г.

<a>Институт робототехнических систем ВШЭ запустил научно-технический семинар

Институт робототехнических систем (ИРС) ВШЭ запустил новый ежемесячный формат — Научно-технический семинар. Он объединяет сотрудников института, приглашенных экспертов, студентов, исследователей и представителей других подразделений НИУ ВШЭ для обсуждения актуальных задач мехатроники, робототехники и киберфизических систем.

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

Публикации

?

О свойстве редукции для GLP-алгебр

Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика). 2017. Т. 472. № 4. С. 378–382.

Беклемишев Л. Д.

Рассматривается естественное обобщение свойства редукции для полимодальных алгебр доказуемости на произвольные GLP-алгебры. В частности, это свойство установлено для свободных GLP-алгебр и для некоторых топологических GLP-алгебр (GLP-пространств).

Язык: русский

DOI

Ключевые слова: GLP- логики provability, logic, GLP логика, доказуемость,

A many-sorted variant of Japaridze's polymodal provability logic

Berger G., Беклемишев Л. Д., Tompits H., Logic Journal of the IGPL 2018 Vol. 26 No. 5 P. 505–538

We consider a many-sorted variant of Japaridze’s polymodal provability logic (⁠GLP⁠). In this variant, which is denoted GLP∗⁠, propositional variables are assigned sorts n≤ω⁠, where variables of finite sort n<ω are interpreted as Π_{n+1}-sentences of the arithmetical hierarchy, while those of sort ω range over arbitrary ones. We prove that GLP∗is arithmetically complete with respect to this interpretation. Moreover, we ...

Добавлено: 14 февраля 2019 г.

Topological completeness of the provability logic GLP

Беклемишев Л. Д., Gabelaia D., Annals of Pure and Applied Logic 2013 Vol. 164 No. 12 P. 1201–1223

Provability logic GLP is well-known to be incomplete w.r.t. Kripke semantics. A natural topological semantics of GLP interprets modalities as derivative operators of a polytopological space. Such spaces are called GLP-spaces whenever they satisfy all the axioms of GLP. We develop some constructions to build nontrivial GLP-spaces and show that GLP is complete w.r.t. the ...

Добавлено: 16 сентября 2013 г.

Topological interpretations of provability logic.

Беклемишев Л. Д., Gabelaia D., / Series math "arxiv.org". 2012. No. ArXiv:1210.7317.

Добавлено: 12 февраля 2013 г.

On provability logics with linearly ordered modalities

Беклемишев Л. Д., Fernandez D., Joosten J., / Series math "arxiv.org". 2012.

We introduce the logics GLP(\Lambda), a generalization of Japaridze's polymodal provability logic GLP(\omega) where \Lambda is any linearly ordered set representing a hierarchy of provability operators of increasing strength. We shall provide a reduction of these logics to GLP(\omega) yielding among other things a finitary proof of the normal form theorem for the variable-free fragment of ...

Добавлено: 12 февраля 2013 г.