Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Svyatlovskiy, Mikhail Vladimirovich

Statistics Math-Net.Ru
Total publications: 3
Scientific articles: 1
Presentations: 3

Number of views:
This page:310
Abstract pages:632
Full texts:205
References:42

https://www.mathnet.ru/eng/person125587
List of publications on Google Scholar

Publications in Math-Net.Ru Citations
2018
1. M. V. Svyatlovskiy, “Axiomatization and Polynomial Solvability of Strictly Positive Fragments of Certain Modal Logics”, Mat. Zametki, 103:6 (2018),  884–901  mathnet  mathscinet  elib; Math. Notes, 103:6 (2018), 952–967  isi  scopus 4

2022
2. E. Bakaev, N. Belukhov, I. Bogdanov, D. Brodskii, A. Glebov, A. Gribalko, S. Dorichenko, M. Evdokimov, A. Zaslavskii, P. Kozhevnikov, A. Liu, M. Malkin, A. Mardanov, L. Mednikov, V. Retinskii, M. Svyatlovskiy, A. Terteryan, A. Tolpygo, B. Frenkin, I. Frolov, A. Shen', “ХLIII Турнир городов. Задачи весеннего тура”, Kvant, 2022, no. 5,  49–51  mathnet
3. E. Bakaev, A. Gribalko, M. Didin, S. Dorichenko, M. Evdokimov, A. Zaslavskii, P. Kozhevnikov, M. Malkin, L. Mednikov, V. Retinskii, E. Rjabov, M. Svyatlovskiy, A. Terteryan, A. Tolpygo, B. Frenkin, I. Frolov, E. Khinko, A. Shapovalov, “XLIII Турнир городов. Задачи осеннего тура”, Kvant, 2022, no. 1,  53–54  mathnet

Presentations in Math-Net.Ru
1. Strictly positive fragments of K4 and its extensions
M. V. Svyatlovskiy
Seminars "Proof Theory" and "Logic Online Seminar"
October 18, 2021 18:30   
2. О модальных напарниках K4
M. V. Svyatlovskiy
Seminars "Proof Theory" and "Logic Online Seminar"
October 8, 2018 18:30
3. On axiomatization and polytime decidability of strictly positive fragments of some modal logics
M. Svyatlovsky
Workshop on Proof Theory, Modal Logic and Reflection Principles
October 19, 2017 15:15   

Organisations
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024