Graphical Sequent Calculi for Modal Logics

Ma M.; A. Pietarinen

doi:10.4204/EPTCS.243.7

АБВ
АБВ
АБВ

Обычная версия сайта

Приоритетные направления

по году

Тематика

Новости

22 июля 2026 г.

Тяга к сладкому оказалась важнее заботы о здоровье

Исследователи НИУ ВШЭ в Перми с помощью ЭЭГ изучили, как тяга к сладкому и интерес к здоровому питанию влияют на оценку газированных напитков со вкусом колы. В ходе дегустации участники оценивали вкус напитка и называли максимальную сумму, которую готовы за него заплатить. Оказалось, что чем выше интерес человека к здоровью, тем более сложным и когнитивно затратным для него является решение о готовности платить и тем меньше в итоге он будет готов заплатить за такой напиток. Исследование опубликовано в журнале British Food Journal.

21 июля 2026 г.

«Нам бы хотелось, чтоб наши корпуса использовались больше»

Созданные в Международной лаборатории языковой конвергенции и Школе лингвистики НИУ ВШЭ корпуса абхазо-адыгских языков, на которых говорят народы Западного Кавказа, позволяют изучить их особенности, показывают возможности современного использования. Создание корпусов стало возможным благодаря серии экспедиций ученых и студентов Вышки на Кавказ, современным методам лингвистической обработки и взаимодействию с коллегами из региональных университетов. О работе лингвистов новостной службе «Вышка.Главное» рассказал ведущий научный сотрудник Международной лаборатории языковой конвергенции, доцент Школы лингвистики Юрий Ландер.

20 июля 2026 г.

В НИУ ВШЭ обсудили подходы к измерению качества питания школьников

В Высшей школе экономики состоялся научный семинар «Подходы к измерению качества питания российских школьников». Его участники заявили о необходимости пересмотра подходов к контролю за школьным питанием. Организаторами мероприятия выступили Институт социальной политики и базовая организация СНГ по вопросам питания учащихся АНО «Институт отраслевого питания».

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

Публикации

?

Graphical Sequent Calculi for Modal Logics

P. 91–103.

Ma M., Пиетаринен А. Ю.

Язык: английский

DOI

Ключевые слова: Modal Logic Graphical Sequent Calculi

В книге

Electronic Proceedings in Theoretical Computer Science

Vol. 243. , [б.и.], 2017.

Two Types of Filtrations for wK4 and Its Relatives

Кудинов А. В., Shapirovsky I., Studia Logica 2025 P. 1–25

Добавлено: 14 октября 2025 г.

Влияние аксиомы связности на сложность модальной логики.

Кудинов А. В., Мясников К. М., Математика и теоретические компьютерные науки 2025 Т. 3 № 2 С. 58–84

В работе доказывается, что для слабо транзитивных логик с универсальной модальностью, проверку выполнимости формулы для которых можно произвести в PSPACE}, добавление аксиомы связности не увеличивает сложность этой проверки, причем строится явный алгоритм, который решает эту задачу. ...

Добавлено: 14 октября 2025 г.

Advances in Modal Logic

College Publications, 2020.

Добавлено: 27 августа 2020 г.

Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures

Tiu A., Яновский Е. А., Goré R., , in: Advances in Modal LogicIssue 9.: L.: College Publications, 2012. P. 516–537.

Добавлено: 25 февраля 2019 г.

Advances in Modal Logic

College Publications, 2016.

Logic deals with the fundamental notions of truth and falsity. Modal logic arose from the philosophical study of “modes of truth” with the two most common modes being “necessarily true” and “possibly true”. Research in modal logic now spans the spectrum from philosophy, computer science and mathematics using techniques from relational structures, universal algebra, topology, ...

Добавлено: 20 сентября 2018 г.

Advances in Modal Logic

College Publications, 2018.

Logic deals with the fundamental notions of truth and falsity. Modal logic arose from the philosophical study of “modes of truth” with the two most common modes being “necessarily true” and “possibly true”. Research in modal logic now spans philosophy, computer science, and mathematics, using techniques from relational structures, universal algebra, topology, and proof theory. These ...

Добавлено: 20 сентября 2018 г.

Gamma graph calculi for modal logics

Ma M., Пиетаринен А. Ю., Synthese 2017 Vol. 195 No. 8 P. 3621–3650

Добавлено: 16 сентября 2018 г.