Graphical Sequent Calculi for Modal Logics

Ma M.; A. Pietarinen

doi:10.4204/EPTCS.243.7

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

24 июня 2026 г.

Древняя чашекрания - новый вид брахиопод с необычной формой раковины и образом жизни

Российские ученые из Высшей школы экономики, МГУ имени М.В. Ломоносова и Таллинского технического университета изучили ископаемый вид древних брахиопод (плеченогих), который обитал в теплом море на севере современной Эстонии более 445 миллионов лет назад. Древняя брахиопода росла в форме чашки со «шляпкой», чтобы защититься от зарастания. Исследование опубликовано в журнале Palaeogeography, Palaeoclimatology, Palaeoecology.

23 июня 2026 г.

<a><a><a>НИУ ВШЭ и Positive Technologies наградили проекты молодых ученых по оценке последствий кибератак

Молодые исследователи из ведущих вузов страны представили проекты по прогнозированию и оценке последствий кибератак. Защита идей прошла 22 июня в Москве в рамках междисциплинарного научного конкурса, организованного Институтом мировой военной экономики и стратегии НИУ ВШЭ и Positive Technologies. Победителями стали команды Военно-космической академии имени Можайского, НИУ ВШЭ и университета «Сириус» — они разделят грантовый фонд в три миллиона рублей и продолжат свои разработки под руководством научных наставников.

23 июня 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 г.