• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Статьи
  • On algebraic and topological semantics of the modal logic of common knowledge S4CI
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
19 мая 2026 г.
Физики НИУ ВШЭ выяснили, что происходит внутри устойчивого вихря
В атмосфере и в океане часто наблюдаются крупные вихри с характерными спиральными рукавами. Физики из НИУ ВШЭ объяснили, как они формируются и почему сохраняют свою структуру. Оказалось, что скорости в точках, расположенных вдоль одной дуги вихря, остаются связанными даже на больших расстояниях. При этом в направлении от центра вихря эта связь быстро ослабевает. Такие различия помогают объяснить образование рукавов и могут улучшить модели атмосферных и океанических течений. Результаты опубликованы в Physical Review Fluids.
18 мая 2026 г.
В Вышке прошла XXX юбилейная научно-техническая конференция имени Е.В. Арменского
Организатором научного события выступает Московский институт электроники и математики им. А.Н. Тихонова ВШЭ. В этом году главный инженерный студенческий форум проходил 30-й раз и собрал рекордное число участников. Студенты, аспиранты и молодые специалисты из 50 вузов и организаций России представили научно-исследовательские доклады в ИТ-области. Отдельная секция была посвящена научно-исследовательским работам школьников.
15 мая 2026 г.
В НИУ ВШЭ разрабатывают нейросеть для сферы науки и инноваций
Исследователи НИУ ВШЭ учат большие языковые модели понимать русскоязычную научную терминологию, увеличивая при этом их энергоэффективность. Адаптированная модель работает в 2,7 раза быстрее и требует на 73% меньше памяти, чем исходная открытая модель, что позволяет запускать ее на более доступном оборудовании. Программа прошла государственную регистрацию.

 

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

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

On algebraic and topological semantics of the modal logic of common knowledge S4CI

Logic Journal of the IGPL. 2024. Vol. 32. No. 1. P. 164–179.
Шамканов Д. С.
Научное направление: Математика Гуманитарные науки
Язык: английский
DOI
Текст на другом сайте
Ключевые слова: topological semanticsalgebraic semanticscommon knowledgelocal and global consequence relationsinfinitary derivationsfixed-point algebrascompletions
Похожие публикации
Upper bounds for Steklov eigenvalues of a hypersurface of revolution
Denis Seliutskii, Russian Journal of Mathematical Physics 2025 Vol. 32 No. 2 P. 399–407
Добавлено: 19 мая 2026 г.
On smooth Fano threefolds with coregularity zero
Жакупов О. Б., European Journal of Mathematics 2025 Vol. 11 Article 84
Добавлено: 18 мая 2026 г.
«…Потеря его была бы для меня большой бедой». К истории романа «Истоки» М.А. Алданова
Мартынов А. В., Emigrantica 2025 № 3 С. 267–281
В статье на основе разнообразного, в том числе раннее не публиковавшегося, эпистолярного наследия М.А. Алданова реконструируется история создания романа «Истоки». Она охватывает период от 1942 г., когда писатель приступил к написанию текста до 1948 г., когда им были внесены последние правки в рукопись отдельного издания романа. «Истоки» задумывались беллетристом задолго до начала непосредственной работы над ...
Добавлено: 15 мая 2026 г.
2-Elliptic Periodic Orbits near a Nonsimple Homoclinic Tangency in Four-Dimensional Symplectic Maps
Lerman L. M., Turaev D. V., Regular and Chaotic Dynamics 2026 Vol. 31 No. 3 P. 349–369
Добавлено: 15 мая 2026 г.
Bibliometric Analysis by Network Models
Алескеров Ф. Т., Якуба В. И., Khutorskaya O. и др., Springer, 2026.
Добавлено: 15 мая 2026 г.
Neural-network maps for two-parameter modeling of bistability and codimension-two bifurcations in two-dimensional flow dynamical systems
Купцов П. В., Панюшев А. А., Станкевич Н. В., Chaos 2026 Vol. 36 No. 5 Article 053138
Добавлено: 15 мая 2026 г.
Bifurcations and Structural Stability of Generic PC-HC Families
Доровский А. А., / Series arXiv "math". 2026.
Добавлено: 14 мая 2026 г.
The Sobolev space W_2^{1/2}: Simultaneous improvement of functions by a homeomorphism of the circle
Лебедев В. В., Journal of Mathematical Analysis and Applications 2026 Vol. 563 No. 2 Article 130787
Добавлено: 14 мая 2026 г.
«…Быть изданной в ИМКА»: К истории публикации «Облегчения участи» Нины Берберовой
Мартынов А. В., Вопросы литературы 2025 № 6 С. 134–147
В статье рассматриваются возникшие во второй половине 40-х годов ХХ века проблемы в книгоиздательской деятельности в среде русского зарубежья. На примере поэта и прозаика первой волны эмиграции Нины Берберовой показаны стратегии, связанные с русскоязычным и переводным книжным рынком, которые она применяла в условиях издательского кризиса. Статья основана на архивных источниках. ...
Добавлено: 13 мая 2026 г.
Symmetric Cubic Polynomials
Blokh A., Oversteegen L., Selinger N. и др., Arnold Mathematical Journal 2025 Vol. 12 No. 1 P. 1–40
Добавлено: 13 мая 2026 г.
Скиф. Вопросы студенческой науки (журнал)
Назарова А. Е., Болонина В. А., Редакция журнала “Скиф. Вопросы студенческой науки, 2025.
Статья фокусируется на осмыслении рефлексии в контексте повествовательного анализа как средствадля достижения глубокого самоосознания личного благополучия. В центре внимания находится анализрефлексивной деятельности как двойственного процесса, где рефлексия одновременно служит средствомсамопонимания и инструментом когнитивного познания момента счастья. Выдвигается идея, что каждоесамопознание функционирует как зеркало, которое отражает внутренний мир человека и его отношения свнешней средой, тем самым ...
Добавлено: 12 мая 2026 г.
Влияние государственного участия на интенсивность конфликтов в сфере ЖКХ (на примере Санкт-Петербурга)
Абдулаев А. Д., Мониторинг общественного мнения: Экономические и социальные перемены 2026 № 2 С. 259–283
В статье представлены результаты оценки связи между формами присутствия государства на рынке и конфликтностью отношений жильцов и управляющих компаний в многоквартирных домах Санкт-Петербурга. Государственные структуры рассматриваются как многоуровневый агент, выступающий на рынке жилищно-коммунальных услуг не только в роли регулятора, но и поставщика, а также получателя услуг. Уровень конфликтности определен через частоту применения гражданами жалоб по ...
Добавлено: 12 мая 2026 г.
Игры на сетях с линейным наилучшим ответом: модели и методы управления
Петров И. В., Автоматика и телемеханика 2026 № 6 С. 82–118
Системам связанных агентов и сетевому управлению посвящено большое число отечественных и зарубежных исследований. Исторически, наибольший интерес в теории управления возникал к усредняющим системам и, в частности, к задаче консенсуса. Однако сетевое взаимодействие может характеризоваться более специфическими функциями, отражающими зависимость от действий соседей по сети, что особенно явно проявляется в моделях стратегического взаимодействия на сети, которое ...
Добавлено: 12 мая 2026 г.
Архимед: научно-методический сборник
М.: ООО «Макс Пресс», 2026.
В настоящем сборнике представлены тезисы докладов участников семинара "Интеграция основного и дополнительного физико-математического образования", проходившего 11 февраля 2026 года в ГБОУ Школа №2007 ФМШ г. москвы, а также другие публикации, посвящённые вопросам дополнительного физико-математического образования. ...
Добавлено: 11 мая 2026 г.
On structural proof theory of the modal logic K+ extended with infinitary derivations
Шамканов Д. С., Logic Journal of the IGPL 2024 P. 1–46
Добавлено: 29 января 2025 г.
On structural proof theory of the modal logic K+ extended with infinitary derivations
Шамканов Д. С., / Series arXiv "math". 2023.
Добавлено: 14 ноября 2023 г.
Tautologies, inferential processes and constraints on evoked knowledge
Vilinbakhova E., Escandell-Vidal V., Зевахина Н. А., Journal of Pragmatics 2022 Vol. 191 P. 55–66
Добавлено: 8 февраля 2022 г.
Global neighbourhood completeness of the provability logic GLP
Шамканов Д. С., , in: Advances in Modal LogicVol. 13.: College Publications, 2020. P. 581–596.
Добавлено: 6 октября 2020 г.
Joint attention and perceptual experience
Гёртс Л. Б., Battich L., Synthese 2020
Добавлено: 25 июня 2020 г.
Non-well-founded derivations in the Gödel-Löb provability logic
Шамканов Д. С., Review of Symbolic Logic 2020 Vol. 13 No. 4 P. 776–796
Добавлено: 20 декабря 2019 г.
Les “Hellènes” au regard des Moscovites (Maxime le Grec, Fiodor Karpov et le protopope Avvakoume face aux ”païens vertueux”)
Дмитриев М. В., , in: La vertu des païens.: P.: Editions Kimé, 2019. P. 215–240.
Добавлено: 1 апреля 2019 г.
Equilibrium Market Volatility in Imperfect Competition of General Equilibrium
Левандо Д. В., Sakharov M., / Series SSRN Working Paper Series "SSRN Working Paper Series". 2019.
We develop a theory of equilibrium market volatility in a general equilibrium duopoly with complete information. The resulting economic system possesses a property, which can be described as ‘natural volatility’ of markets, even if players have complete information. Economy is described as a strategic market game where every player has market power as a buyer and ...
Добавлено: 18 января 2019 г.
Instability of Equilibrium Price
Левандо Д. В., Sakharov M., / Series "Working Papers". 2018.
We develop a theory of market instability caused by strategic trade with complete information and without outside shocks. We focus on general equilibrium duopoly as a strategic market game with infinite strategies, and a pricing mechanism. First order conditions of the game are the 1-st kind integral equations of Fredholm, which have many solutions. A solution ...
Добавлено: 23 января 2018 г.
Natural Instability of Equilibrium Prices
Левандо Д. В., Sakharov M., / Series Research Paper Series No. 01/WP/. 2018.
We develop a theory of market fluctuations caused by strategic trade with complete information and without outside shocks. The constructed general equilibrium duopoly is a strategic market game with infinite strategies and multiple mixed strategies equilibria. First order conditions (FOC) of the game are the ill-posed problems (Hadamard, 1909), but every equilibrium mixed strategy can ...
Добавлено: 16 января 2018 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • http://www.edu.ru
    Федеральный портал «Российское образование»
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору