On Belnapian modal algebras: Representations, homomorphisms, congruences, and so on

АБВ
АБВ
АБВ

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

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

по году

Тематика

17 июня 2026 г.

Интеллектуальная робототехника: кадровый голод и масса возможностей

Пока на рынке мало кадров, способных заниматься разработкой интеллектуальных робототехнических систем. Между тем именно к этому идет робототехника. Как учат ее проектированию и каково будущее отрасли, в интервью IQ Media рассказал заведующий Проектно-учебной лабораторией робототехники НИУ ВШЭ Вадим Моргачев.

17 июня 2026 г.

Каким должно быть образование, чтобы готовить кадры для экономики будущего

Эти вопросы обсудят на форуме HR EXPO PRO ЛЮДЕЙ, который состоится 18-19 июня в Москве. В его работе примет участие ректор НИУ ВШЭ Никита Анисимов, федеральные министры, HR-директора компаний, ректоры вузов, эксперты. На форуме будет представлен стенд, посвященный программам ДПО НИУ ВШЭ.

16 июня 2026 г.

Публичность ученого: идеальная мера

Еще недавно публичность для ученого считалась чем-то факультативным – полезным, но необязательным. Сегодня она все чаще встроена в научную работу. Не потому, что «надо быть в медиа», а потому что без внешней проявленности исследования могут просто не найти ни аудитории, ни партнеров, ни продолжения. Об этом в статье для IQ Media размышляет эксперт по научным коммуникациям, доцент факультета географии Высшей школы экономики Надежда Пупышева.

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

Публикации

?

On Belnapian modal algebras: Representations, homomorphisms, congruences, and so on

Siberian Electronic Mathematical Reports. 2013. Vol. 10. P. 517–534.

Сперанский С. О.

We obtain a bunch of principal results on Belnapian modal algebras (henceforth called BK-lattices) — these results may serve as a semantical basis for further investigation of the lattice of extensions of Belnapian modal logic (denoted by BK here).

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

Текст на другом сайте

The lattice of Belnapian modal logics: Special extensions and counterparts

Сперанский С. О., Logic and Logical Philosophy 2016 Vol. 25 No. 1 P. 3–33

Let K be the least normal modal logic and BK its Belnapian version, which enriches K with ‘strong negation’. We carry out a systematic study of the lattice of logics containing BK based on: introducing the classes (or rather sublattices) of so-called explosive, complete and classical Belnapian modal logics; assigning to every normal modal logic three special ...

Добавлено: 27 декабря 2025 г.

Belnap–Dunn modal logics: Truth constants vs. truth values

Odintsov S., Сперанский С. О., Review of Symbolic Logic 2020 Vol. 13 No. 2 P. 416–435

We shall be concerned with the modal logic BK — which is based on the Belnap–Dunn four-valued matrix, and can be viewed as being obtained from the least normal modal logic K by adding ‘strong negation’. Though all four values ‘truth’, ‘falsity’, ‘neither’ and ‘both’ are employed in its Kripke semantics, only the first two are ...

Добавлено: 26 декабря 2025 г.

Hintikka's independence-friendly logic meets Nelson's realizability

Odintsov S., Сперанский С. О., Shevchenko I., Studia Logica 2018 Vol. 106 No. 3 P. 637–670

Inspired by Hintikka’s ideas on constructivism, we are going to ‘effectivize’ the game-theoretic semantics (abbreviated GTS) for independence-friendly first-order logic (IF-FOL), but in a somewhat different way than he did in the monograph ‘The Principles of Mathematics Revisited’. First we show that Nelson’s realizability interpretation — which extends the famous Kleene’s realizability interpretation by adding ...

Добавлено: 26 декабря 2025 г.

Products of modal logics and tensor products of modal algebras

Gabbay D., Shapirovsky I., Шехтман В. Б., Journal of Applied Logic 2014 Vol. 12 No. 4 P. 570–583

One of natural combinations of Kripke complete modal logics is the product, an operation that has been extensively investigated over the last 15 years. In this paper we consider its analogue for arbitrary modal logics: to this end, we use product-like constructions on general frames and modal algebras. This operation was first introduced by Y. ...

Добавлено: 24 марта 2015 г.

L'opposition: analyse sémantique d'une notion flottante

Шанг Ф. Ж., (France) 2012 Vol. 13 P. 65–85

Добавлено: 31 октября 2014 г.