Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Drobyshevich, Sergei Andreevich

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

Number of views:
This page:2535
Abstract pages:1426
Full texts:353
References:217
E-mail:

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

Publications in Math-Net.Ru Citations
2022
1. S. A. Drobyshevich, “Normal companions of intuitionistic modal logics”, Algebra Logika, 61:6 (2022),  659–686  mathnet
2014
2. S. A. Drobyshevich, “Some modal operators over intuitionistic logic”, Algebra Logika, 53:6 (2014),  770–775  mathnet  mathscinet; Algebra and Logic, 53:6 (2015), 506–509  isi  scopus
2013
3. S. A. Drobyshevich, “Composition of an intuitionistic negation and negative modalities as a necessity operator”, Algebra Logika, 52:3 (2013),  305–331  mathnet  mathscinet; Algebra and Logic, 52:3 (2013), 203–221  isi 3
4. S. A. Drobyshevich, S. P. Odintsov, “Finite model property for negative modalities”, Sib. Èlektron. Mat. Izv., 10 (2013),  1–21  mathnet 6
5. S. A. Drobyshevich, “A Double Negation Operator in Logic $N^*$”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 13:4 (2013),  68–83  mathnet; J. Math. Sci., 205:3 (2015), 389–402 4
2011
6. S. A. Drobyshevich, “A hybrid calculus for logic $N^*$: Residual finiteness and decidability”, Algebra Logika, 50:3 (2011),  351–367  mathnet  mathscinet  zmath; Algebra and Logic, 50:3 (2011), 245–256  isi  scopus 3

Presentations in Math-Net.Ru
1. Системы с явными опровержениями
S. A. Drobyshevich
Seminar of the Laboratory of Mathematical Logic (Saint Petersburg)
April 28, 2020 18:30   

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