• 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
  • еще
Тематика
Новости
11 июня 2026 г.
Время жизни популяций определяется законами математики
Исследователи НИУ ВШЭ и МГУ доказали универсальный закон, описывающий время исчезновения популяций в случайной среде. Анализ эволюции ветвящихся процессов — сложных вероятностных систем — показал, что вне зависимости от изначального числа особей процесс вымирания подчиняется строгим математическим закономерностям. Результаты опубликованы в Journal of Applied Probability.
8 июня 2026 г.
«За 12 лет на нашем счету почти 1000 операций с пробуждением»
В НИУ ВШЭ прошла XIII Летняя нейролингвистическая школа, организованная Центром языка и мозга при поддержке факультета гуманитарных наук НИУ ВШЭ. В центре внимания слушателей была совместная работа нейролингвистов, нейрохирургов и нейрофизиологов в операционной, стандартизация лингвистических парадигм и практические подходы к сохранению речевой функции пациентов.
5 июня 2026 г.
Аспирантка НИУ ВШЭ открыла «невидимую» планировку античного Париона
Исследовательница из НИУ ВШЭ Идиль Малгиль изучила с помощью дрона с лазерным сканером сверхвысокого разрешения древнеримский город Парион, расположенный на территории современной Турции. Благодаря высокой плотности сканирования удалось зафиксировать крошечные неровности рельефа, скрытые под землей и растительностью. Обнаружены следы целых кварталов, террасных систем и стен, которые невозможно было различить ни при обычных раскопках, ни с помощью аэрофотосъемки. Результаты исследованияо публикованы в международном научном журнале Ancient Civilizations from Scythia to Siberia.

 

Нашли опечатку?
Выделите её, нажмите 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
Похожие публикации
On the Ramsey Number R(K_{1,s},P_t)
Kh. Kh. Abdullin, D. B. Mokeev, D. S. Taletskii, Mathematical notes 2026 Vol. 119 No. 1 P. 3–7
Добавлено: 10 июня 2026 г.
Innovations in Information and Decision Sciences. Proceedings of the 13th International Conference on Frontiers in Intelligent Computing: Theory and Applications (FICTA 2025), Volume 4
Springer, 2026.
Добавлено: 8 июня 2026 г.
Wave dynamics within the Whitham-Ostrovsky equation
Flamarion M. V., Пелиновский Е. Н., Nonlinear Dynamics 2026 Vol. 114 Article 784
Добавлено: 5 июня 2026 г.
Цифровые гуманитарии: от академических племен к эпистемическому сообществу
Володин А. Ю., Цифровые гуманитарные исследования 2025 № 2 С. 84–116
В статье предлагается периодизация развития цифровых гуманитарных исследований (Digital Humanities, DH) в первой четверти XXI века, основанная на трёх последовательных этапах, каждый из которых объясняется через соответствующую социологическую концепцию науки. Первый этап (2004–2012 гг.) — период самоопределения и формирования «академических племён и территорий», когда DH осознавали себя как междисциплинарное поле с уникальной методологией. Второй этап ...
Добавлено: 5 июня 2026 г.
On structural stability of 3-diffeomorphisms with the Smale solenoid attractor–repeller dynamics
Медведев Т. В., Починка О. В., Chaos 2026 Vol. 36 No. 6 Article 063107
Добавлено: 4 июня 2026 г.
A model exhibiting all possible types of hyperbolic chaos on the 2-torus
Казаков А. О., Минц Д. И., Петрова Ю. Э. и др., Chaos 2026 Vol. 36 No. 6 Article 063112
Добавлено: 4 июня 2026 г.
Об эквивалентности по надстройке декартовых произведений регулярных гомеоморфизмов с гомеоморфизмами Данжуа
Ноздринова Е. В., Починка О. В., Шмуклер В. И., Математический сборник 2026 Т. 217 № 6 С. 71–89
Гомеоморфизмы топологических пространств называются эквивалентными по надстройке, если надстройки над ними топологически эквивалентны. В частности, топологически сопряженные гомеоморфизмы эквивалентны по надстройке. Известно, что для гомологически неприводимых гомеоморфизмов их топологическая сопряженность является необходимым и достаточным условием их эквивалентности по надстройке. Тогда как инварианты топологической сопряженности гомологически приводимых гомеоморфизмов во многих случаях являются избыточными для эквивалентности по ...
Добавлено: 3 июня 2026 г.
Случайные блуждания на симметрических пространствах некомпактного типа ранга 1
Гнетов Ф. А., Конаков В. Д., Успехи математических наук 2026 Т. 81 № 3 (489) С. 161–162
Пусть M обозначает симметрическое пространство некомпактного типа ранга 1. Опираясь на фундаментальную работу [1], в [2] было показано, что плотность соответствующим образом нормированной суммы независимых Hn-значных случайных величин, определенная через сложение Мёбиуса в модели шара Пуанкаре, сходится к фундаментальному решению соответствующего уравнения теплопроводности. Пределом являлся нормальный закон на Hn, соответствующий ядру теплопроводности, определяемому оператором Лапласа–Бельтрами. ...
Добавлено: 2 июня 2026 г.
Между дилетантизмом и диссидентством: переводы рассказов Бориса Виана в «Митином журнале»
Балакирева М. Е., Новое литературное обозрение 2026 № 2 (198) С. 225–237
Статья посвящена исследованию неофициальных переводов с французского языка и акцентирует внимание на конкретном примере — переводе рассказов Бориса Виана в «Митином журнале». Рассмотрение особенностей этих переводов позволяет выявить характерную для самиздата рефлексию о роли языка, а также переосмыслить позицию переводчика, противопоставленного переводчику официальному, просветителю и цензору, создающему иллюзорный образ зарубежной литературы в советском пространстве. Разрабатывая ...
Добавлено: 1 июня 2026 г.
Electrical networks and data analysis in phylogenetics
Gorbounov Vassily, Kazakov A., Data Analytics and Topology 2025 Vol. 1 No. 1 P. 33–45
Добавлено: 28 мая 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 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • http://www.edu.ru
    Федеральный портал «Российское образование»
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору