Valentin Shehtman
Высшая школа экономики
- Logic, Reasoning, and Knowledge
- Advanced Algebra and Logic
- Logic, programming, and type systems
- Semantic Web and Ontologies
- Multi-Agent Systems and Negotiation
Чем занимается
Ключевые темы по публикациям: Logic, Reasoning, and Knowledge; Advanced Algebra and Logic; Logic, programming, and type systems; Semantic Web and Ontologies; Multi-Agent Systems and Negotiation.
Последние работы
Все 50 в OpenAlex« Everywhere » and « here »1999 · аннотациясвернуть
The paper studies propositional logics in a bimodal language, in which the first modality is interpreted as the local truth, and the second as the universal truth. The logic S4UC is introduced, which is finitely…
- Quantification in Nonclassical Logic2013
- Semantics of Non-Classical First Order Predicate Logics1990
- Modal logics of domains on the real plane1983
- Maximal Kripke-type semantics for modal and superintuitionistic predicate logics1993
- Modal Products and Around2026
Лариса Львовна Максимова (некролог)2025 · аннотациясвернуть
2025 г. май -июнь т. 80, вып. 3 (483) УСПЕХИ МАТЕМАТИЧЕСКИХ НАУК Лариса Львовна Максимова Лариса Львовна Максимова (5.XI.1943-4.IV.2025) -один из ведущих отечественных специалистов в области неклассических логик и яркая…
Larisa L'vovna Maksimova (obituary)2025 · аннотациясвернуть
mathematical portal Math-Net.Ru implies that you have read and agreed to these terms of use https://www.mathnet.ru/
Наукометрия
Написать научруку
Email не найден в открытых источниках — поищи на странице вуза или в последних статьях.
Шаблон письма
Здравствуйте, Valentin Shehtman! Я студент(ка) [курс, факультет, вуз]. Мне интересна тема [опишите интересы своими словами]. Прочитал(а) вашу работу «« Everywhere » and « here »» (1999) — она близка к тому, чем я хочу заниматься. Хочу обсудить возможность выполнить научную работу под вашим руководством. Буду благодарен(на) за ответ — готов(а) рассказать о себе подробнее и прислать резюме. С уважением, [Имя Фамилия]
На этапе теста письмо отправляешь сам из своей почты. Отправка из сервиса и статусы заявок — скоро.