• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Статьи
  • Branching Time Logics with Multiagent Temporal Accessibility Relations
  • 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
  • еще
Тематика
Новости
22 июня 2026 г.
Эффект Вышки: статьи в журналах первого квартиля и PhD в Университете Сиднея
Стефен Содоке, магистрант ОП «Население и развитие» Института демографии имени А.Г. Вишневского НИУ ВШЭ, победил в прошлом году в конкурсе научно-исследовательских работ студентов (НИРС). В 2026-м, уже в статусе выпускника Высшей школы экономики, он опубликовал две статьи в журналах первого квартиля и получил PhD в Университете Сиднея. Об исследовании Стефена и роли Вышки в его академической карьере — в нашем материале.
17 июня 2026 г.
Биоинформатики НИУ ВШЭ обнаружили 20 опасных мутаций в гене, связанном с легочной артериальной гипертензией
Ученые НИУ ВШЭ совместно с коллегами из российских университетов выяснили, какие мутации в гене ACVRL1 опасны для пациентов с легочной артериальной гипертензией. Они смоделировали, как изменения в гене влияют на связывание АТФ с белком — процесс, от которого зависит передача сигналов, необходимых для работы сосудов. Оказалось, что 20 из 32 вариантов могут нарушать передачу сигнала и провоцировать болезнь. Результаты опубликованы в Journal of Structural Biology.
17 июня 2026 г.
Интеллектуальная робототехника: кадровый голод и масса возможностей
Пока на рынке мало кадров, способных заниматься разработкой интеллектуальных робототехнических систем. Между тем именно к этому идет робототехника. Как учат ее проектированию и каково будущее отрасли, в интервью IQ Media рассказал заведующий Проектно-учебной лабораторией робототехники НИУ ВШЭ Вадим Моргачев.

 

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

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

?

Branching Time Logics with Multiagent Temporal Accessibility Relations

Siberian Mathematical Journal. 2021. Vol. 62. P. 503–510.
Рыбаков В. В.
Научное направление: Философия, этика, религиоведение
Язык: английский
DOI
Ключевые слова: temporal logic
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Интерактивная рациональность в логике, лингвистике и формальной философии (2021)
Похожие публикации
Краснее красного. Иллюзионизм или феноменальный сюрреализм?
Humphrey N., Философский журнал 2026 Т. 19 № 2 С. 99–106
Ощущения представляют собой наше субъективное «схватывание» сенсорнойстимуляции – то, какие чувства вызывают красный свет, падающий на сетчатку,соль, растворяющаяся на языке, шип, впивающийся в кожу. Они передают – на языке феноменальных свойств, – каков этот опыт для нас. Поскольку они выражают реальность этого субъективного отношения, их нельзя считать иллюзорными. Это отношение, каким бы магическим оно ни ...
Добавлено: 19 июня 2026 г.
Сюрреализм – иллюзионизм на языке феноменального реализма
Горбачев М. Д., Философский журнал 2026 Т. 19 № 2 С. 107–117
Данная публикация представляет собой комментарий к переводу статьи Николаса Хамфри «Redder than Red. Illusionism or Phenomenal Surrealism?», где он предлагает, как может показаться, альтернативный иллюзионистской теории сознания подход – феноменальный сюрреализм. Его главная идея заключается в том, что наш субъек­тивный опыт более реален, чем объективная реальность, поскольку в последней нет, например, смешного, прекрасного или страшного ...
Добавлено: 19 июня 2026 г.
Общественное измерение креативности и исторический материализм
Переяслов А. Д., Коммуникации. Медиа. Дизайн 2024 Т. 9 № 2 С. 109–131
Автор статьи предлагает расширить понимание креативности в поле исторического материализма. Приводятся примеры отражения внеэконмических проявлений креативности в различных гуманитарных науках. Особый акцент делается на теории социального действия и социологической теории креативности Х. Йоаса. ...
Добавлено: 19 июня 2026 г.
Социальное программирование как методологический инструмент сетевой самоорганизации: проблемы и тенденции (материалы «круглого стола»)
Пружинин Б. И., Афанасов Н. Б., Буданов В. Г. и др., Вопросы философии 2026 № 5 С. 5–35
В декабре 2025 г. в Институте философии РАН состоялся «круглый стол» с международным участием на тему «Социальное программирование как методологический инструмент сетевой самоорганизации: проблемы и тенденции». Организаторы «круглого стола» – журнал «Вопросы философии» и представители научного проекта № 25-28-00707 «Социальное программирование как проблема сетевой самоорганизации», поддержанного Российским научным фондом. В обсуждении приняли участие философы-эпистемологи, специалисты ...
Добавлено: 18 июня 2026 г.
Два пути христианского единства в эпоху исторической катастрофы: С. М. Соловьёв и Л. П. Карсавин:предисловие к публикации
Бессчетнова Е. В., Жукова М. В., Patria 2026 Т. 3 № 2 С. 141–147
Настоящая публикация вводит в научный оборот рецензию мыслителя и впоследствии католического священника восточного обряда Сергея Михайловича Соловьёва (1885–1942) на книгу Льва Платоновича Карсавина «Восток, Запад и русская идея», вышедшую в Петрограде в 1922 году. Текст, сохранившийся в Отделе рукописей РГБ, является не просто отзывом современника, но драматическим документом эпохи, запечатлевшим ключевую развилку русской религиозно-философской мысли ...
Добавлено: 18 июня 2026 г.
Natural Science Perspectives in the Psychology of Religion: From Early Biological Interpretations to Contemporary Cognitive, Evolutionary, and Neuroscientific Approaches
Двойнин А. М., Natural Systems of Mind 2025 Vol. 5 No. 4 P. 4–21
Актуальность и проблема исследования. Психология религии прошла нелинейный путь: расцвет (1880–1920), спад и возобновление развития с 1990-х годов. Несмотря на интенсификацию исследований, обусловленную достижениями генетики, нейронауки и когнитивной науки, систематический обзор становления естественнонаучных подходов в психологии религии отсутствует. Цель исследования. Представление обобщенного историко-теоретического анализа естественнонаучных подходов в психологии религии — от ранних биологических интерпретаций до современных когнитивных, ...
Добавлено: 17 июня 2026 г.
Коммуникация с непохожим Другим в мультикультурном классе: от межкультурной компетенции к кросс-культурному интеллекту
Мошняга Е. В., Иностранные языки в школе 2025 № 9 С. 16–24
В данной статье анализируется новый контекст взаимодействия в образовательных пространствах, создаваемый изменившимися условиями реализации международных образовательных программ, а именно появлением непохожего Другого студента. В мультикультурном классе оказываются представители самых разных культур, зачастую незнакомых для принимающей культуры и /или недружественных друг другу, что ведёт к конфликтной коммуникации. Преподаватель в таком мультикультурном классе в своём профессиональном и ...
Добавлено: 16 июня 2026 г.
Конструирование нового другого в эдьюскейпе. Коммуникация с непохожими другими: чужими и чуждыми
Мошняга Е. В., Хуссейн И., Человек: образ и сущность. Гуманитарные аспекты 2025 № 4(64) С. 125–147
В статье рассматривается серия кросс-культурных кейсов, в которых раскрываются проблемы межкультурного взаимодействия непохожих Других в образовательном пространстве университета, реализующего междуна-родные программы и осмысливаемого как глокальный эдьюскейп. На основе ана-лиза проблемных ситуаций в кейсах предлагаются решения исходя из понимания того, что успешное взаимодействие участников образовательного процесса как агентов изменений в эдьюскейпе требует конструирования и со-конструирования нового ...
Добавлено: 16 июня 2026 г.
Многополярность: мир после либерализма
фон Хоффмайстер К., СПб.: Владимир Даль, 2026.
В предлагаемой вниманию читателя книге Константин фон Хоффмайстер провозглашает завершение эпохи однополярного господства США и наступление новой эры, в которой самобытные цивилизации будут отстаивать свой суверенитет в битве против слабеющего универсализма либерального Запада. Автор излагает философские и геополитические основы нового многополярного мира, в котором мировая история творится в динамичном взаимодействии крупных держав, каждая из которых руководствуется собственными уникальными традициями. Фон Хоффмайстер ...
Добавлено: 16 июня 2026 г.
Цифровая камера и классическая государственно-правовая теория
Куренной В. А., Логос 2026 Т. 36 № 1 С. 1–38
В статье дан краткий обзор современного применения цифровых камер и фундаментальных изменений в обществе, обусловленных их использованием. Цифровое видеонаблюдение становится неотъемлемой частью городской инфраструктуры, трансформируя представления о публичном пространстве, приватности и контроле. Рассмотрены ключевые риски, которые сегодня связываются с распространением цифрового видеонаблюдения, включая потенциальные угрозы личной свободе и возникновение «общества тотального надзора». Вместе с тем приве-дены возражения на алармистские ожидания, объяснимые игнорирова-нием действующих конституционных и правовых ...
Добавлено: 11 июня 2026 г.
Стратегии осмысления скептицизма в современной аналитической эпистемологии
Лаврищев Д. Е., Эпистемология и философия науки 2026 Т. 63 № 1 С. 193–212
Статья представляет собой обзор наиболее значимых опорных точек в дискуссии вокруг скептицизма в современной англоязычной аналитической эпистемологии. В тексте рассматриваются основные для этого дискурса стратегии понимания и преодоления скептицизма. В первом разделе статьи рассматривается «классическое» определение скептицизма, основанное на так называемых «радикальных скептических аргументах», к которым относятся «мозг в чане», «злокозненный демон» и т.п. Также ...
Добавлено: 8 июня 2026 г.
Дискуссии об универсалиях в «Таттвопаплавасимхе» Джаяраши Бхатты
Канаева Н. А., Вопросы философии 2026 № 6 С. 170–178
В статье на примере анализа фрагмента первой главы из трактата индийско го философа VIII–IX вв. Джаяраши Бхатты «Таттвопаплавасимха» (санскр. «Лев, опрокидывающий препятствия [к правильному пониманию] катего рий») демонстрируется форма постановки и обсуждения проблемы универ салий в Индии в эпоху Джаяраши. Конспективный стиль первоисточника автор статьи компенсировала реконструкцией концептуального контекста полемики об универсалиях, в качестве которого ...
Добавлено: 6 июня 2026 г.
«Хореография танца» и «кинофильмы мыслей», или о причинах отсутствия общепризнанной танцевальной нотации
Боброва А. С., Волынская К. А., Праксема. Проблемы визуальной семиотики 2026 № 2(48) С. 212–235
В настоящее время всем известна музыкальная нотация, которая утвердилась несколько столетий назад. Что касается искусства танца, с ним дела обстоят значительно хуже. Танец, помимо того что имеет динамический характер, ещё и обладает и физическим воплощением. Придумать такую нотацию, которая учитывала бы визуальный, эмоциональный и технический аспекты, соблюдая одновременно с этим нормативные каноны сценического искусства, – ...
Добавлено: 2 июня 2026 г.
Увидеть за сложностью природы ритмы, симметрии, инварианты…
Парамонов А. А., Вопросы философии 2025 № 7 С. 37–45
Статья посвящена 90-летнему юбилею со дня рождения Елены Аркадьевны Мамчур, одного из ведущих отечественных философов-методологов науки, чьи работы стали уже признанной классикой отечественной философии нау­ки. Автор обращает внимание на широкий спектр исследований Е.А. Мам­чур, охватывающий процессы становления и развития естественнонаучного знания от научных представлений Античности до современных теорий гра­витации и квантовой механики. В центре ее ...
Добавлено: 2 июня 2026 г.
Философская апологетика Франсӣса ал-Марра̄ша
Золотухин В. В., Ишрак: ежегодник исламской философии 2026 Т. 4 № 1 С. 36–47
Статья, выдержанная в стиле case study, посвящена обзору апологетических аргументов греко-католического писателя из Алеппо, деятеля литературного Арабского Возрождения Франсӣса Фатх̣аллы ал-Марра̄ша (1836–1874) в его посмертно изданной работе Шаха̄дат ат̣-т̣абӣʻa фӣ вуджӯд Алла̄х ва-ш-шарӣʻа («Свидетельство природы о существовании Бога и Закона»). Аргументы, подбираемые Марра̄шем, демонстрируют методологическую калейдоскопичность, — стремление сопрягать традиционно-богословские ходы не только с рациональной ...
Добавлено: 2 июня 2026 г.
"Значение школы рицу в жизни и деятельности монаха Гёнэна"
Аракава С., Социология 2026 № 4 С. 298–302
Известно, что Гёнэн, монах школы кэгон, был тесно связан и со школой рицу. Более того, рицу занимала столь важное место в его мировоззрении, что он посвятил ей специальные сочинения. Однако, поскольку японский буддизм традиционно рассматривается как религиозная среда, в которой строгая дисциплина рицу не получила полноценного развития, сама школа рицу остаётся сравнительно малоизученной. По этой ...
Добавлено: 1 июня 2026 г.
Сборник студенческих работ «Восточная перспектива»
М.: ООО «Адвансед солюшнз», 2026.
Данный выпуск сборника студенческих статей .Восточная перспектива. включает в себя статьи победителей и призеров XI Международной научной студенческой конференции "Восточная перспектива", состоявшейся 18 мая 2024 года. В 2024 году на конференцию было подано 115 заявок, офлайн и онлайн в конференции приняли участие докладчики и слушатели из различных вузов России и ближнего и дальнего Зарубежья. ...
Добавлено: 29 мая 2026 г.
Сборник студенческих работ «Восточная перспектива»
М.: ООО «Адвансед солюшнз», 2026.
Данный выпуск сборника студенческих статей «Восточная перспектива» включает в себя статьи победителей и призеров X Международной научной студенческой конференции «Восточная перспектива», состоявшейся 15 апреля 2023 года. Юбилейная конференция стала знаковым событием для студентов различных подразделений НИУ ВШЭ и других вузов России, занимающихся подготовкой востоковедческих кадров. ...
Добавлено: 29 мая 2026 г.
Образ и звукозапись: плейлист визуальных мотивов для исследований звука
Небольсин Д. И., Логос 2026 Т. 36 № 1 С. 113–134
В статье затрагивается проблема теоретизации отношений звука и визуальности на материале более частных практик создания аудиозаписей и образов. Текст организован по принципу плейлиста: на восьми звуковых примерах выявляется, какие из понятий актуальных исследований образа релевантны для теоретической работы со звуком. В большинстве своем выбранные примеры фиксируют и обрабатывают окружающее звуковое пространство, но делают это разными ...
Добавлено: 23 мая 2026 г.
Эстетика аудиовизуальной журналистики. Учебное пособие. 2-е издание
Бережная М. А., Новикова А. А., Кирия И. В., КноРус, 2026.
Эстетика журналистики получает обоснование как необходимая составляющая в профессиональной подготовке специалистов для аудио­визуальных медиа. Представлены факторы и тенденции исторических и актуальных изменений в эстетике журналистики, охарактеризованы эстетические практики аудиовизуальной журналистики в аспекте ее социального функционирования. Системно изложены критерии эстетической оценки. Соответствует ФГОС ВО последнего поколения. Для студентов бакалавриата, обучающихся по направлению «Журналистика». ...
Добавлено: 22 мая 2026 г.
Три России Макса Вебера: к веберовской социологии русского модерна
Кильдюшов О. В., Мир России: Социология, этнология 2026 Т. 35 № 2 С. 6–21
В статье обсуждается эвристическая схема анализа значимости русской проблематики в корпусе текстов Макса Вебера в связи с завершением издания источниковой базы – Полного собрания сочинений М. Вебера. Указывается на амбивалентное место русских сюжетов в творческом наследии классика: с одной стороны, Россия не являлась центральной темой его размышлений, но с другой – проблематика русской модернизации была тесно связана ...
Добавлено: 20 мая 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 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • http://www.edu.ru
    Федеральный портал «Российское образование»
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору