• 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
  • еще
Тематика
Новости
30 октября 2026 г.
«Объект наших исследований - суперкомпьютер»
Феликс Смирнов занимается суперкомпьютерными технологиями, чтобы помогать другим ученым в их работе. В интервью проекту «Молодые ученые Вышки» он рассказал о настройке коммуникаций между узлами, своем увлечении кинематографом и о старых вывесках на Хитровке.
29 октября 2026 г.
Как прогнозировать будущее науки и технологий
Лаборатория исследований науки и технологий, действующая в структуре Института статистических исследований и экономики знаний НИУ ВШЭ, изучает текущее состояние научных исследований и разработок, анализирует тренды и их динамику, что позволяет понимать масштаб вызовов, связанных с применением новейших технологий, определять приоритеты будущих работ, формировать научную и промышленную политику. Новостная служба «Вышка.Главное» побеседовала с заведующей лабораторией Лилианой Проскуряковой и директором Форсайт-центра ИСИЭЗ Александром Соколовым.
29 октября 2026 г.
Плоская модель местности скрыла от симулятора потерю связи между машинами
Исследователи МИЭМ ВШЭ показали, что популярные симуляторы связи между автомобилями заметно переоценивают ее надежность, потому что считают рельеф местности плоским. Если учесть рельеф, мосты и туннели, доля потерянных соединений на горном серпантине вырастает с 21 до 30%, у эстакады — с 20 до 33%, а в туннеле — с нуля до 80%.Результаты опубликованы в журнале Future Transportation.

 

Нашли опечатку?
Выделите её, нажмите 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
Похожие публикации
Algorithmic overlaps in the Baxter–Wu model: cluster dynamics under Novotny–Evertz updates
Пиле Я. Э., Щур Л. Н., Nuclear Physics B 2026 No. 0550-3213 Article 117706
Добавлено: 1 ноября 2026 г.
QML- и MCMC-методы оценивания параметров модели стохастической волатильности: применение к российскому рынку ценных бумаг
Борзых Д. А., Орлов Н. А., Экономический журнал Высшей школы экономики 2026 Т. 30 № 3 С. 457–486
Работа посвящена сравнению двух методов оценивания модели стохастической волатильности (SV-модели) – методу максимального квазиправдоподобия (QML) и методу Монте-Карло с цепями Маркова (MCMC). Сравнение проводится как на симулированных, так и на реальных данных. На симулированных данных метод MCMC показывает значительно более точные результаты. При этом с точки зрения вычислений QML-метод имеет гораздо более высокое быстродействие и требует существенно ...
Добавлено: 29 октября 2026 г.
Mean-field reduction of networks of bursting neurons
Guerreiro I., Sergey Skorokhod, di Volo M. и др., Communications in Nonlinear Science and Numerical Simulation 2027 Vol. 164 Article 110954
Добавлено: 29 октября 2026 г.
Tensor term logic for categorial grammars: simple unification of commutative and noncommutative structure
Sergey Slavnov, / Series math "arxiv.org". 2026.
Добавлено: 29 октября 2026 г.
Имитационные игры и искусственный интеллект: возвращение к корням проекта исследований экспертизы и опыта (SEE) третьей волны социологии науки
Иванов Д. В., ИНТЕРакция. ИНТЕРвью. ИНТЕРпретация 2026 Т. 18 № 2 С. 13–29
Статья посвящена решению методологического противоречия, возника- ющего при попытке инкорпорировать искусственный интеллект (ИИ) в ка- чественные социологические исследования (преимущественно укорененные в интерпретативистской парадигме). Если в количественных исследованиях ИИ, как минимум на первый взгляд, органично вписывается в естественно-научный идеал инструментального дистанцирования, то для качественной традиции, требующей чувствительности к контексту и близости к источ- нику субъективных смыслов, ...
Добавлено: 28 октября 2026 г.
Amplifying Latent Safety in Large Language Models via Gated Activation Steering
Roman Prosvirnin, Suslov A., Aleksei Soldatov и др., Computation 2026 Vol. 14 No. 10 Article 261
Добавлено: 27 октября 2026 г.
PACTraD: Multi-Task Benchmark and Domain-Specific Attention Mechanism for Wildlife Classification, Detection, and Segmentation in Protected Area Camera Trap Data
Aleksei Samarin, Назаренко А. А., Nazarenko D. и др., Big Data and Cognitive Computing 2026 Vol. 10 No. 11 P. 1–52
Добавлено: 27 октября 2026 г.
2026 10th Scientific School Dynamics of Complex Networks and their Applications
IEEE, 2026.
Добавлено: 26 октября 2026 г.
Генезис астрономических знаний монгольских народов: лингвистический и культурно-исторический анализы монгольской астрономической карты из ксилографа «Китайская астрономическая сутра»
Козлова С. М., Вестник РГГУ. Серия «Литературоведение. Языкознание. Культурология» 2026 № 5 С. 160–173
В статье рассматривается история развития астрономических знаний монгольских народов, начиная от первых наблюдений за движением небесных светил до институализированных исследований в период династии Юань (1271–1368), при дворе хана Хубилая (1260–1294), в династии Мин (1601–1644) и во время правления династии Цин (1644–1912). Исследование опирается на китайские труды по астрономии и астрологии – «Календарь Чунчжэнь» (кит. 崇禎曆書), ...
Добавлено: 26 октября 2026 г.
Weakly non-integrable solitary wave collisions in the modified Benjamin–Bona–Mahony equation
Flamarion M. V., Пелиновский Е. Н., Wave Motion 2027 Vol. 148 Article 103867
Добавлено: 23 октября 2026 г.
От критики антропоцентризма к идее христоцентрического гуманизма: проблема оправдания культуры в творчестве Вяч. И. Иванова
Доронина А. А., Философические письма. Русско-европейский диалог 2026 Т. 9 № 3 С. 89–105
Статья посвящена реконструкции концепции гуманизма Вяч. И. Иванова путем сопоставления двух его текстов на эту тему — статьи «Кручи: о кризисе гуманизма» (1919) и письма к Александру Пеллегрини о “Docta pietas” (1934), из которых первый выражает «ранний», преимущественно критический взгляд Иванова на гуманизм, а второй связан с переосмыслением и «реабилитацией» этого понятия в христоцентрическом ключе. ...
Добавлено: 22 октября 2026 г.
A Neural Network Approach for Generating Libration Point Orbits
Lev Pyatko, Sergey Aksenov, Regular and Chaotic Dynamics 2026 Vol. 31 No. 5 P. 794–813
In the circular restricted three-body problem, families of periodic and quasi-periodic orbits exist in the vicinity of the libration points and are of significant interest for practical applications. This work presents a neural network-based algorithm for orbit construction and station-keeping, applicable to both periodic and quasi-periodic orbits near collinear libration points. The method employs a ...
Добавлено: 19 октября 2026 г.
Основы теории информации
Воронцова Т. Д., М.: Академия, 2025.
Учебник подготовлен в соответствии с требованиями федеральных государственных образовательных стандартов среднего профессионального образования и  предназначен для изучения профессиональных модулей «Защита информации в  информационно-телекоммуникационных системах и  сетях с  использованием программных и  программно-аппаратных, в том числе криптографических средств защиты» и «Защита информации в  автоматизированных системах программными и  программно-аппаратными средствами». Содержание учебника включает в себя аксиоматику теории информации, а  также такие фундаментальные понятия, как ...
Добавлено: 19 октября 2026 г.
Оценка сложности учебного текста по русскому как иностранному: перспективы и вызовы использования искусственного интеллекта
Солнышкина М. И., Андреева М. И., Русистика 2026 Т. 24 № 1 С. 120–137
Растущий интерес к российскому образованию, культуре и науке в значительной степени определяет насущную потребность в разработке инструментария подбора учебных текстов по русскому языку как иностранному (РКИ). Цель исследования — разработать алгоритм и инструментарий оценки лексической сложности текста РКИ (по CEFR) с использованием больших языковых моделей (LLM). Исследование выполнено на материале обучающей выборки, включающей стандартизированные лексические ...
Добавлено: 19 октября 2026 г.
Моментные оценки для стохастической аппроксимации
Наумов А. А., Рубцов А. С., Самсонов С. В. и др., Успехи математических наук 2026 Т. 81 № 4 (490) С. 161–162
Краткое сообщение рассматривает Моментные оценки для стохастической аппроксимации ...
Добавлено: 17 октября 2026 г.
An infinite series of Gorenstein local algebras failing the affine homogeneity property
Roman Avdeev, Yulia Zaitseva, Mediterranean Journal of Mathematics 2026 Vol. 23 No. 7 Article 224
Добавлено: 17 октября 2026 г.
Turbulent Exchange Tensor in the Atmospheric Boundary Layer: An Inverse-Problem Approach Using Radiosonde Wind Observations with High Vertical Resolution
Гордин В. А., Ефременко Д. С., Boundary-Layer Meteorology 2026 Vol. 192 No. 51
An inverse problem of reconstructing the turbulent exchange tensor from large archives of observed wind profiles within the Åkerblom–Ekman (A-E) model framework is investigated using high-vertical-resolution radiosonde observations. The reconstructed tensor provides improved agreement between modeled and observed wind profiles compared to classical formulations based on real turbulent exchange coefficient. Instead of the classical A-E ...
Добавлено: 16 октября 2026 г.
Diversity of chaos with additional zero Lyapunov exponents in heterogeneous ensemble of quasi-periodic and chaotic systems
Kuznetsov A. P., Sedova Y. V., Станкевич Н. В., Chaos, Solitons and Fractals 2026 Vol. 213 No. 12 Article 119309
Добавлено: 16 октября 2026 г.
A Reproducible Microscopy Acquisition Pipeline and Microscopy-Aware Attention for Classification, Detection, and Segmentation of Microorganisms
Aleksei Samarin, Назаренко А. А., Nazarenko D. и др., Machine Learning and Knowledge Extraction 2026 Vol. 8 No. 10 Article 330
Добавлено: 14 октября 2026 г.
On Calculation of Robustness and Stability of Formal Concepts Based on Delta Measure
Parkhomenko V., Куликова С. П., Бузмаков А. В., Lobachevskii Journal of Mathematics 2026 Vol. 47 No. 6 P. 2979–2992
Добавлено: 14 октября 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 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору