• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Статьи
  • Branching Time Logics with Multiagent Temporal Accessibility Relations
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2028
  • 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
  • еще
Тематика
Новости
21 сентября 2026 г.
Ученые НИУ ВШЭ показали, что врожденные нарушения моторики влияют на развитие мозга
Исследователи из Института когнитивных нейронаук НИУ ВШЭ обобщили результаты своих предыдущих исследований, посвященных особенностям развития мозга у детей с акушерским параличом плечевого сплетения и артрогрипозом. Анализ показал, что нарушение моторики в раннем возрасте не только ведет к недостатку двигательного опыта, но и влияет на память, категориальное мышление и обработку информации. Работа опубликована в журнале Frontiers in Psychology.
22 сентября 2026 г.
Как россияне взаимодействуют с ИИ при поиске информации в интернете
Школа коммуникаций НИУ ВШЭ и Online Market Intelligence провели исследование пользовательского поискового опыта в российском сегменте интернета. Как показали результаты, пользователи в России уже воспринимают ИИ-ответ в выдаче как естественную часть поиска и используют его наравне с привычным списком ссылок. При этом на рынке самостоятельных нейросетей (отдельных чат‑ботов) уверенно лидирует Алиса AI от Яндекса  —  ее регулярно используют 40 % опрошенных.
18 сентября 2026 г.
«Время на содержательные вопросы у нас не лимитировалось»
Международная лаборатория атомистического суперкомпьютерного моделирования и многомасштабного анализа НИУ ВШЭ провела масштабную конференцию «Молекулярная динамика». Участники могли услышать всех докладчиков, а сами докладчики — ответить на любое количество содержательных вопросов. О подготовке конференции и дискуссиях «Вышка.Главное» поговорила с заведующим лабораторией Григорием Смирновым и ее главным научным сотрудником Генри Норманом.

 

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

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

?

Branching Time Logics with Multiagent Temporal Accessibility Relations

Siberian Mathematical Journal. 2021. Vol. 62. P. 503–510.
Рыбаков В. В.
Научное направление: Философия, этика, религиоведение
Язык: английский
DOI
Ключевые слова: temporal logic
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Интерактивная рациональность в логике, лингвистике и формальной философии (2021)
Похожие публикации
Коммуникативный декаданс: смертельные эффекты гедонизма в пространстве семиокапитализма и гиперреализма
Мерзенина А. С., Логос 2026 Т. 35 № 2 С. 73–102
В статье исследуется функционирование цифровой коммуникации в эпоху семиокапитализма (Франко Берарди) и гиперреализма (Жан Бодрийяр), а также ее влияние на психосоциальное положение современного субъекта (с опорой на психоанализ Жака Лакана). Обсессивный невроз, агрессивность и депрессия рассматриваются автором не просто как превалирующие в XXI веке психические состояния, но как особые типы взаимодействия субъекта со сферами Символического, ...
Добавлено: 21 сентября 2026 г.
Онтотеологический «остаток» современного политического нигилизма
Мерзенина А. С., Социологическое обозрение 2026 Т. 25 № 2 С. 206–242
В статье рассматривается проблема трансформации политической теологии, или политической онтотеологии, в эпоху позднего капитализма. Сначала автор анализирует специфику нигилизма в интерпретации Ницше и Хайдеггера, а затем переходит к рассмотрению эпистемологического, этического и политического релятивизма, общая суть которого состоит в нигилистическом отказе от единой ценностной картины мира. Далее делается вывод о том, что нигилизм является оплотом ...
Добавлено: 20 сентября 2026 г.
CONVIVIAL OR MANIPULATIVE TOOLS? LLMS IN RUSSIAN HIGHER EDUCATION (THE CASE OF THE SCHOOL OF ADVANCED STUDIES)
Шиповалова Л. В., Социология власти 2026 Vol. 38 No. 1 P. 224–243
Добавлено: 18 сентября 2026 г.
Гуманизм и милосердие: доминирование добродетелей
Жигунов А. Ю., Patria 2026 Т. 3 № 3 С. 12–28
Исследование посвящено идентификации специфики гуманизма и милосердия как традиционных духовно-нравственных ценностей современной России. Особая роль указанных аксиологических установок и откровенно добродетельный характер позволяет предположить их доминирующую позицию. Избегая дискуссии о трактовке указанных категорий, автор предпринимает попытку идентифицировать реализацию добродетельных действий, которые могут быть классифицированы как проявления гуманного и милосердного поведения. В общественно-политическом пространстве обнаружен социальный ...
Добавлено: 17 сентября 2026 г.
Российская история в философской перспективе (размышления над книгой). К 70-летию А.А. Кара-Мурзы
Жукова О. А., Вопросы философии (Российская Федерация) 2026 № 8 С. 51–64
Статья представляет собой критико-философский анализ книги А.А. Кара-Мурзы «Избранные работы по русской философии, политике и культуре» (2024), содержащей статьи, посвященные философии российской истории. Эссе, очерки, мемуарно-биографические тексты, травелоги и философско-краеведческие  исследования демонстрируют творческие интересы ученого, который обращается к различным сюжетам философской, политической и духовно-художественной культуры России, рассматривая массив ее исторического наследия с точки зрения цивилизационной ...
Добавлено: 17 сентября 2026 г.
Пролетаризация труда в условиях развития искусственного интеллекта
Моисеев Г. В., Гуманитарные исследования в Восточной Сибири и на Дальнем Востоке 2026 № 2 (76) С. 58–68
Статья посвящена философскому анализу трансформации труда в условиях распространения технологий ИИ. Критикуя представления об ИИ как автономной и нейтральной технологии, ведущей к замещению человеческого труда, автор предлагает анализировать социальные последствия развития ИИ в контексте процессов автоматизации и общественного разделения труда. На основе марксистского анализа ИИ трактуется как машина нового типа – социотехническая инфраструктура, в которой ...
Добавлено: 17 сентября 2026 г.
Vague stimulating ideas, images and metaphors in scientific thinking: researchers' work with horizons of unclear knowledge
Поддьяков А. Н., / Series Social Science Research Network "Social Science Research Network". 2026. No. 7437658.
Добавлено: 15 сентября 2026 г.
СОЦИАЛЬНЫЙ КАПИТАЛ И ЭТИКА ОТМЕНЫ
Ермоленко Г. А., Кожевников С. Б., Вестник Московского городского педагогического университета. Серия: Философские науки 2026 № 1(57) С. 9–18
В статье исследуется феномен социального капитала в контексте современных медиакоммуникаций и его взаимосвязь с явлением этики отмены (канселинга). Авторы изучают механизмы функционирования социального капитала в цифровом пространстве и его трансформации под влиянием практик канселинга. Методология исследования опирается на теоретические подходы к пониманию приро ды социального капитала П. Бурдье, Ж. Бодрийяра, Н. Лумана, М. Кастельса. Статья содержит ...
Добавлено: 11 сентября 2026 г.
Может ли ИИ производить значение? Семантический капитал, «стохастический попугай» и пределы антропоцентризма
Филатова А. А., Эпистемология и философия науки 2026 Т. 63 № 2 С. 154–171
Развитие и активное внедрение искусственного интеллекта (да лее – ИИ), особенно в виде больших языковых моделей, вызвало новую волну дискуссий о семантических компетенциях техни ческих устройств и критериях оценки результатов их функцио нирования, в частности, сгенерированных текстов. В статье пред лагается рассмотреть ряд наиболее трудных вопросов и их представленность в современной философии языка. В первую ...
Добавлено: 10 сентября 2026 г.
Знание в цифровую эпоху: избыточность романтизма
Фауль Б. В., Эпистемология и философия науки 2026 Т. 63 № 2 С. 41–50
В статье предлагается критический анализ аргументации Константина Очеретяного, изложенной в эссе «Эпистемический нигилизм и экзистенциальный романтизм: знание в цифровую эпоху». Рассматриваются два предложенных автором сценария – технопессимистический и технооптимистический – и показывается, что вывод о трансформации статуса знания под влиянием искусственного интеллекта остается недостаточно обоснованным. Особое внимание уделяется критике тезиса о том, что когнитивное делегирование ...
Добавлено: 9 сентября 2026 г.
АМБУЛАТОРНОЕ СЧАСТЬЕ
Малышкин Е. В., Логос 2024 Т. 34 № 6 (163) С. 217–232
В своих программных трудах Рене Декарт, помимо выстраивания впечатляющей метафизической системы, раз за разом раздает обещания счастья, которое непременно должно сопровождать занятия философией по новому образцу. В чем именно состоит это счастье и способна ли картезианская конструкция выполнить данное обещание? Для кого оно может наступить? Если относиться к этому обещанию всерьез, как к инструкции по ...
Добавлено: 8 сентября 2026 г.
ТЕСТ ТЬЮРИНГА И РАСПРЕДЕЛЕННОЕ ЗНАНИЕ
Малышкин Е. В., Эпистемология и философия науки 2026 Т. 63 № 2 С. 64–69
В начале статьи высказываются несколько критических замечаний в адрес статьи Константина Очеретяного [Очеретяный, 2026]. Итог этих замечаний: опасности, предъявленные в обсуждаемой статье в духе эпистемического пессимизма, не страшат, а затрагиваемые проблемы гораздо старше, чем появление языковых моделей. Размышление в обсуждаемой статье ведется в терминах экспансии, хотя вывод, кажется, противопоставляет конкуренцию за знание «молчаливому стоянию перед ...
Добавлено: 8 сентября 2026 г.
Медиа в цифровом пространстве
Гришин С. Е., Дугарова С. Б., Завьялов А. Е. и др., М.: Издательство "Перо", 2026.
В монографии обозначено предметное и проблемное поле медиаисследований, выделена роль медиа в современном обществе и влияние медиа на социальные процессы, рассмотрены основные теоретические подходы и эмпирические методы изучения медиа в цифровом обществе. Монография адресована широкому кругу исследователей в области философии, культурологии, социологии, медиа и других направлений гуманитарного знания, будет полезна специалистам, работающим в социальной сфере. ...
Добавлено: 8 сентября 2026 г.
Культурно-исторические основы самобытности российской цивилизации
Ахмадуллин В. А., Базилико Э. А., Бакланов В. И. и др., М.: Издательско-торговая корпорация «Дашков и Ко», 2026.
Монография посвящена реконструкции уникальности исторического пути России - ее культуры, общественного строя, религиозной, философской и политической мысли. На основе синтеза различных наук и подходов авторы обобщают и комплексно показывают своеобразие российских традиций. Самобытность России раскрывается на обширном фактическом материале как системное явление. Детально анализируются общие для разных эпох сущностные характеристики менталитета, религиозные убеждения, система ценностей, доминирующие ...
Добавлено: 8 сентября 2026 г.
Перверсивные интерфейсы: зияние, дрейф и пульсации как онтологические стили в компьютерных играх
Очеретяный К. А., Галактика медиа: журнал медиа исследований 2026 Т. 7 № 2 С. 85–102
Интерфейсы включают, чтобы отключиться - от ситуации вокруг, от настойчивого опыта внешнего мира, от ближних. Именно эту способность интерфейсов легитимировать «отсутствие» обычно забывают при их аналитике, так как акцент делается на концентрации, управлении, контроле. В действительности же интерфейсы не столько прагматичны и утилитарны, сколько экспериментальны и перверсивны. В данной статье вводится понятие онтологических стилей, а ...
Добавлено: 7 сентября 2026 г.
Что такое Свобода? Свобода воли, свободы личности, конституционная модель и законодательное регулирование
Момджян К. Х., Кржевов В. С., Поддьяков А. Н. и др., М.: Новые печатные технологии, 2025.
При всей кажущейся ясности и недвусмысленности понятия «свобода» дать ему исчерпывающую научную дефиницию весьма затруднительно. У каждой отрасли знания свой подход к трактовке этого многоаспектного понятия. В ходе обсуждения, материалы которого вошли в настоящий сборник, свобода рассматривается с позиций философии, социологии, юриспруденции, психологии, нейрофизиологии и т.д. Участники дискуссии рассуждают о границах свободы воли и субъектности человека, о соотношении свободы и ...
Добавлено: 6 сентября 2026 г.
Merging Epistemic and Temporal Models: a History-Free Approach
Попова Е. Л., Логико-философские штудии 2022 Vol. 20 No. 1 P. 1–7
Добавлено: 1 августа 2022 г.
On the Model Checking Problem for Some Extension of CTL*
Гнатенко А. Р., Захаров В. А., Automatic Control and Computer Sciences 2021 Vol. 55 No. 7 P. 776–785
Добавлено: 17 января 2022 г.
О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени
Гнатенко А. Р., Захаров В. А., Моделирование и анализ информационных систем 2021 Т. 28 № 4 С. 356–371
К последовательным реагирующим системам относятся компьютерные программы и вычислительные устройства, которые обрабатывают потоки входных данных или сигналов управления и генерируют на выходе последовательности команд или результатов вычислений. Для проектирования таких систем полезно иметь формальные языки спецификаций, способные выражать отношения между входными и выходными потоками данных. В предшествующих работах нами было предложено семейство таких языков спецификаций, ...
Добавлено: 17 января 2022 г.
Reasoning Web. Declarative Artificial Intelligence, 16th International Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial Lectures. Article: Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course
Захарьящев М. В., Ryzhikov V., Wałęga P., Springer Publishing Company, 2020.
Добавлено: 8 ноября 2021 г.
Conference: 28th International Symposium on Temporal Representation and Reasoning, TIME 2021
Захарьящев М. В., Саватеев Ю. В., Ryzhikov V., Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2021.
Добавлено: 6 ноября 2021 г.
Knowledge and Time: Evolutionary Epistemic Model
Попова Е. Л., , in: Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г.: М.: Русское общество истории и философии науки, 2021. P. 134–137.
Данная статья посвящена формализации широкого спектра сценариев изменения знаний с течением времени. Мы исследуем комбинации временных и эпистемических модальностей, отражающих различные свойства рассуждений рациональных агентов. Для этой цели вводим модель 𝐸𝐸𝑀 – эволюционную эпистемическую модель. ...
Добавлено: 28 июня 2021 г.
Using an extension of CTL* for specification and verification of sequential reactive systems
Гнатенко А. Р., Захаров В. А., Системная информатика 2020 Vol. 17 P. 21–32
Последовательные реагирующие системы, такие как контроллеры, системные драйверы, компьютерные интерпретаторы, работают с двумя потоками данных и преобразуют входные потоки данных (управляющие сигналы, инструкции) в выходные потоки управляющих сигналов (инструкции, данные). Конечные преобразователи широко используются в качестве подходящей формальной модели для подобных систем обработки информации. Поскольку вычисления преобразователей протекают во времени, темпоральная логика, очевидно, может использоваться ...
Добавлено: 9 ноября 2020 г.
Рождение европейской философии истории и логико-темпоральные схемы ренневизантийских авторов
Каменских А. А., В кн.: Логика и онтология в византийской догматической полемике. Очерки: Коллективная монографияТ. 19.: СПб.: Центр содействия образованию, 2020. С. 255–275.
В главе коллективной монографии проводится сопоставление темпоральных логик позднего неоплатонизма и раннехристианской традиции; обсуждаются проблемы генезиса представления о времени как о структуре, образованной рядом моментов-кайрос, каждый из которых может оказаться точкой разрыва временного ряда. ...
Добавлено: 5 декабря 2019 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору