• 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
  • еще
Тематика
Новости
3 июля 2026 г.
Исследование НИУ ВШЭ: молодые россияне едут в крупные города за высшим образованием
За период с 2011 по 2021 год число переездов 18-летних россиян составило 1,2 млн человек. Из них 78% отправились в 160 крупных городов, что с большой долей вероятности связано с желанием получить высшее образование. Лидеры по формированию вузовских зон притяжения: Москва, Санкт-Петербург, Екатеринбург, Ростов-на-Дону, Краснодар, Новосибирск.
2 июля 2026 г.
Ученые НИУ ВШЭ в Санкт-Петербурге создали микролазер размером с бактерию
Международная команда исследователей при участии НИУ ВШЭ в Санкт-Петербурге создала микролазеры, излучающие в диапазоне глубокого ультрафиолета — 255 нанометров. Устройства работают при комнатной температуре, а диаметр самого маленького из них — около двух микрометров, что сопоставимо с размером бактерии. Такие лазеры могут применяться для сенсоров, спектроскопических систем, фотонных чипов и устройств связи. Работа опубликована в журнале Optics & Laser Technology.
1 июля 2026 г.
Ученые НИУ ВШЭ выяснили, кто и почему в России питается вне дома
Около трети населения (31,3%) практически не едят вне дома и не покупают готовую еду. Ядро активных потребителей — тех, кто питается вне дома или покупает готовое почти ежедневно или несколько раз в неделю, — составляет всего около 9%. Таковы результаты исследования, проведенного Институтом социальной политики НИУ ВШЭ. Как отмечают авторы, питание вне дома в России перестало быть маркером высокого статуса.

 

Нашли опечатку?
Выделите её, нажмите 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
Похожие публикации
Российское историческое общество и Екатерина II.
Мелентьев Ф. И., М.: Фонд «Связь Эпох», 2026.
В брошюре рассказывается о роли Русского исторического общества в изучении документального наследия императрицы Екатерины Великой и распространении достоверных знаний о екатерининской эпохе. В издании рассмотрены взгляды на Екатерину II императоров Александра III и Николая II, которые были почетными председателями Императорского Русского исторического общества. Особое внимание уделено издательской программе ИРИО, предусматривавшей публикацию документов Екатерины II в ...
Добавлено: 1 июля 2026 г.
Graph Games and Logic Design
Springer, 2026.
Добавлено: 30 июня 2026 г.
On Ω-stable 3-diffeomorphism with a solid or thickened surfaced basic set
Починка О. В., Баринова М. К., Journal of Geometry and Physics 2026 Vol. 228 P. 1–8
Добавлено: 30 июня 2026 г.
Почти пустые симплексы и полиэдры Клейна
Герман О. Н., Илларионов А. А., Известия РАН. Серия математическая 2026 Т. 90 № 3 С. 3–18
Пусть симплекс с целочисленными вершинами - содержащий ровно одну целочисленную точку, отличную от своих вершин. В работе доказывается, что если точка находится во внутренности симплекса или в относительной внутренности некоторой гиперграни симплекса, то объем симплекса ограничен величиной, зависящей только от размерности, в противном случае объем симплекса может быть сколь угодно большим. Этот результат применяется для вывода асимптотической формулы для среднего числа вершин полиэдров ...
Добавлено: 29 июня 2026 г.
The Microphone as a Medium of Authenticity in Soviet Estrada Song
Никонов А. С., Technology and Language 2026 Vol. 7 No. 2 P. 104–117
Добавлено: 28 июня 2026 г.
Generalized Hurst Hypothesis: Description of Time-Series in Communication Systems
Ивченко А. В., Nigmatullin R. R., Dorokhin S. V., Mathematics 2021 Vol. 9 No. 4 Article 381
В данной работе мы сосредоточимся на обобщении эмпирического закона Херста и предложим набор редуцированных параметров для количественного описания длительных временных рядов. Эти ряды обычно рассматриваются как специфический отклик сложной системы (экономической, геофизической, электромагнитной и других), где последовательная фиксация внешних факторов становится невозможной. Мы рассматриваем применение обобщенных законов Херста для получения нового набора редуцированных параметров в ...
Добавлено: 27 июня 2026 г.
Indicators of cosmonaut locomotor functions stability: A new method for ground-reaction forces analysis
Ивченко А. В., Shestoperov A. I., Fomina E. V., Microgravity Science and Technology 2025 Vol. 37 No. 19 P. 1–19
Данная работа посвящена анализу медико-биологических данных, полученных в ходе локомоторных тестов космонавтов. Точная интерпретация данных играет решающую роль в мониторинге системы передвижения, профилактике негативных последствий длительного космического полета и, следовательно, в разработке автономной системы медицинского обеспечения для экспедиций в дальний космос. Во время локомоторных тестов космонавт меняет режимы движения в соответствии с предписанным протоколом тренировки, ...
Добавлено: 26 июня 2026 г.
Платформа, управляемая событиями, для интеграции компонентов машинного зрения с операционным центром.
Гаджимирзаев Ш. М., Хельвас А. В., 2023 3rd International Conference on Innovative Research in Applied Science, Engineering and Technology (IRASET) Mohammedia, Morocco 2023 P. 1–6
В статье предлагается архитектура событийно-управляемого Центра экстренного реагирования с компонентом компьютерного зрения. Анализируются источники информации и обсуждаются подходы к использованию событий компьютерного зрения для обнаружения и оценки тактических ситуаций. Сообщения от компонентов компьютерного зрения преобразуются в Протокол общих оповещений (Common Alerting Protocol) и обрабатываются средой Центра управления для распознавания тактических ситуаций. ...
Добавлено: 26 июня 2026 г.
Подход к оценке динамики уровня консолидированности отрасли
Гаджимирзаев Ш. М., Хельвас А. В., Лукьянченко П. П., Computer Research and Modeling 2023 Vol. 15 No. 1 P. 129–140
В данной статье нами предложен новый подход к анализу эконометрических параметров отрасли для уровня консолидированности отрасли. Исследование базируется на простой модели управления отраслью в соответствии с моделью из теории автоматического управления. Состояние отрасли оценивается на основе ежеквартальных эконометрических параметров получаемых в обезличенном виде от каждой компании отрасли через налогового регулятора. Предложен подход к анализу отрасли, ...
Добавлено: 26 июня 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 г.
Allusions to Music in B.Obama's Victory Speech (2008) as Examples of Interdiscursivity
Чантуридзе Ю. М., , in: LATEUM 2015: Research and Practice in Multidisciplinary Discourse. Материалы XII международной конференции Лингвистической ассоциации преподавателей английского языка МГУ им М.В. Ломоносова.: M.: Moscow University book, 2015. P. 104–106.
Как следует из самой идеи дискурса, он не принимается в рассмотрение без учета конкретного случая его создания и употребления, поскольку он отражает социальные, политические и культурные особенности своих участников. В то же время в дискурсе могут переплетаться «голоса» других дискурсов, что провоцирует возникновение новых оттенков смыслов. Особенности этого процесса – «интердискурсивность» - положены в основу ...
Добавлено: 6 ноября 2017 г.
Интердискурсивность как часть когнитивного подхода к коммуникации (на примере победной речи Б.Обамы, 2008)
Чантуридзе Ю. М., Ярославский педагогический вестник 2014 № I (Гуманитарные науки) С. 140–144
Как известно, в дискурсе находят отражение социальные, политические и культурные характеристики его участников. В то же время в нем могут соперничать и сотрудничать отголоски предыдущих дискурсивных практик, придающих ему новые оттенки смысла. Ни один образец дискурса не существует отдельно от других и вне контекста. Он соотносится с дискурсами, отражающими те же социальные события, ту же ...
Добавлено: 25 августа 2014 г.
Derivational modal logics with the difference modality
Кудинов А. В., Шехтман В. Б., , in: Leo Esakia on Duality in Modal and Intuitionistic Logics.: Springer, 2014. Ch. 11 P. 291–334.
Добавлено: 5 марта 2014 г.
On completeness of dynamic topological logic
Славнов С. А., Moscow Mathematical Journal 2005 Vol. 5 No. 2 P. 477–492
Классический результат о топологической семантике модальных логик, принадлежащий МакКинси и Тарскому (и часто называемый теоремой Тарского), состоит в полноте логики S4 по отношению к интерпретациям в пространстве R^n для любого n. В последнее время разные авторы рассматривали динамические топологические логики, которые интерпретируются в динамических пространствах (абстрактных динамических системах). Динамическое пространство – это топологическое пространство вместе с непрерывной функцией на нем. В работе Артёмова, Даворен и ...
Добавлено: 27 февраля 2013 г.
Topological modal logics with difference modality
Кудинов А. В., , in: Advances in Modal Logic, Volume 6.: L.: College Publications, 2006. P. 319–332.
Добавлено: 27 февраля 2013 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • http://www.edu.ru
    Федеральный портал «Российское образование»
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору