Stanislav O. Speranski
Высшая школа экономики
- Logic, Reasoning, and Knowledge
- Advanced Algebra and Logic
- Computability, Logic, AI Algorithms
- Logic, programming, and type systems
- Semantic Web and Ontologies
Чем занимается
Ключевые темы по публикациям: Logic, Reasoning, and Knowledge; Advanced Algebra and Logic; Computability, Logic, AI Algorithms; Logic, programming, and type systems; Semantic Web and Ontologies.
Последние работы
Все 36 в OpenAlexThe lattice of Belnapian modal logics: Special extensions and counterparts2016 · аннотациясвернуть
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…
- A note on definability in fragments of arithmetic with free unary predicates2013
BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES2019 · аннотациясвернуть
Abstract 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…
A note on hereditarily Π10- and Σ10-complete sets of sentences2014 · аннотациясвернуть
Many important achievements of formal logic have been concerned with the discovery of incomputability—and thus firmly rooted in the undecidability of the halting problem and its complement. Also, the latter produce…
- Complexity for probability logic with quantifiers over propositions2012
- On the complexity of first-order logics of probability2026
- О замыкающих ординалах инфинитарных вероятностных исчислений2026
- On Hereditarily Undecidable Fragments of Basic Elementary Theories2025
Наукометрия
Написать научруку
Email не найден в открытых источниках — поищи на странице вуза или в последних статьях.
Шаблон письма
Здравствуйте, Stanislav O. Speranski! Я студент(ка) [курс, факультет, вуз]. Мне интересна тема [опишите интересы своими словами]. Прочитал(а) вашу работу «The lattice of Belnapian modal logics: Special extensions and counterparts» (2016) — она близка к тому, чем я хочу заниматься. Хочу обсудить возможность выполнить научную работу под вашим руководством. Буду благодарен(на) за ответ — готов(а) рассказать о себе подробнее и прислать резюме. С уважением, [Имя Фамилия]
На этапе теста письмо отправляешь сам из своей почты. Отправка из сервиса и статусы заявок — скоро.