RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
 
Bashmakov, Stepan Igorevich

Total publications: 25 (25)
in MathSciNet: 2 (2)
in zbMATH: 1 (1)
in Web of Science: 5 (5)
in Scopus: 4 (4)
Cited articles: 5
Citations in Math-Net.Ru: 5
Citations in Web of Science: 6
Citations in Scopus: 7

Number of views:
This page:1576
Abstract pages:599
Full texts:155
References:88
Bashmakov, Stepan Igorevich
Candidate of physico-mathematical sciences (2018)
Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
Birth date: 30.11.1990
Website: http://math.sfu-kras.ru/node/1100
Keywords: unification, temporal modal logic, inference rules, axiomatization
UDC: 510.6

Subject:

Modal, multimodal and superintuitionistic logics

   
Main publications:
  1. Bashmakov S.I., “Unification and inference rules in the multi-modal logic of knowledge and linear time LTK”, Journal SFU. Math.& Physics, 9:2 (2016), 149-157  mathnet
  2. S. I. Bashmakov, A. V. Kosheleva, V. Rybakov, “Non-unifiability in linear temporal logic of knowledge with multi-agent relations”, Sib.Elect.Math.Reports, 13 (2016), 656–663  mathnet  mathscinet
  3. Bashmakov S.I., Kosheleva A.V., Rybakov V., “Projective formulas and unification in linear discrete temporal multi-agent logics”, Siberian Electr. Math. Reports, 13 (2016), 923–929  mathnet
  4. Bashmakov S.I., Kosheleva A.V., Rybakov V.V., “Unification for multi-agent temporal logics with universal modality”, IfCoLog Journal of Logics and their Applications, 4:4 (2017), 939-954
  5. Bashmakov S.I., “Unification in linear modal logic on non-transitive time with the universal modality”, Journal SFU. Math. & Physics, 11:1 (2018), 3-9  mathnet

http://www.mathnet.ru/eng/person118134
https://scholar.google.com/citations?user=g1pHGz8AAAAJ&hl=en
List of publications on ZentralBlatt
https://elibrary.ru/author_items.asp?authorid=877836
http://orcid.org/orcid.org/0000-0002-3354-0383
http://www.researcherid.com/rid/K-7178-2017
https://www.scopus.com/authid/detail.url?authorId=57189623547
https://www.researchgate.net/profile/Stepan_Bashmakov

Full list of publications:
| scientific publications | by years | by types | by times cited in WoS | by times cited in Scopus | common list |



   2020
1. S. I. Bashmakov, Unification in pretabular extensions of S4, 2020 (Published online) , 12 pp., arXiv: 2005.08506
2. S. I. Bashmakov, “Polnye nabory unifikatorov v predtablichnykh logikakh RM2 i RM3.”, Sovremennye problemy matematiki i ee prilozhenii: tezisy Mezhdunarodnoi (51-i Vserossiiskoi) molodezhnoi shkoly-konferentsii (Ekaterinburg, 3–7 fevralya 2020 g.), IMM UrO RAN, 2020, 15 (Published online) http://conf.uran.ru/kungurka/Proceedings-2020.pdf
3. S. I. Bashmakov, “Unifikatsionnaya problema v predtablichnykh modalnykh logikakh PM1 − PM5”, Tezisy dokladov mezhdunarodnoi konferentsii “Maltsevskie chteniya” (Novosibirsk, 16–20 noyabrya 2020 g.), IM SO RAN, 2020, 106 (Published online) http://www.math.nsc.ru/conference/malmeet/20/maltsev20.pdf
4. T. Yu. Zvereva, S. I. Bashmakov, “Lineinaya stupenchataya logika znaniya s universalnoi modalnostyu LTK.slU”, Tezisy dokladov mezhdunarodnoi konferentsii “Maltsevskie chteniya” (Novosibirsk, 16–20 noyabrya 2020 g.), IM SO RAN, 2020, 110 (Published online) http://www.math.nsc.ru/conference/malmeet/20/maltsev20.pdf

   2019
5. S. I. Bashmakov, “Strukturnye voprosy dereva unifikatorov”, Tezisy dokladov mezhdunarodnoi konferentsii “Maltsevskie chteniya" (Novosibirsk, 19–23 avgusta 2019 g.), IM SO RAN, Novosibirsk, 2019, 70 (Published online) http://www.math.nsc.ru/conference/malmeet/19/maltsev19.pdf

   2018
6. Stepan I. Bashmakov, “Unification in linear modal logic on non-transitive time with the universal modality”, Zhurn. SFU. Ser. Matem. i fiz., 11:1 (2018), 3–9  mathnet  crossref  mathscinet  zmath  isi  scopus (cited: 1)
7. S. I. Bashmakov, “Unification in linear multi-modal logic of knowledge and non-transitive time”, Handbook of the 6th World Congress and School on Universal Logic (Vichy, France, June 16–26, 2018), Universite Clermont Auvergne, 2018, 229-231 https://www.uni-log.org/pro2018/HAN.pdf
8. S. I. Bashmakov, “Voprosy unifikatsii v predtablichnykh rasshireniyakh S4”, Tezisy dokladov mezhdunarodnoi konferentsii “Maltsevskie chteniya" (Novosibirsk, 19–22 noyabrya 2018 g.), IM SO RAN, Novosibirsk, 2018, 222 (Published online) http://www.math.nsc.ru/conference/malmeet/18/maltsev18.pdf
9. S. I. Bashmakov, “Unifikatsionnaya problema v predtablichnoi modalnoi logike PM2”, Logiko-filosofskie shtudii (13-ya Mezhdunarodnaya konferentsiya “Sovremennaya logika: problemy i perspektivy” (31 maya - 2 iyunya 2018, Sankt-Peterburg)), 16, Sankt-Peterburgskii gosudarstvennyi universitet, 2018, 97-98 http://ojs.philosophy.spbu.ru/index.php/lphs/article/download/585/572

   2017
10. S. I. Bashmakov, A. V. Kosheleva, V. V. Rybakov, “Lineinye tranzitivnye logiki znaniya i vremeni, unifikatsiya i proektivnye formuly”, MAK : «Matematiki – Altaiskomu krayu» : sbornik trudov vserossiiskoi konferentsii po matematike (Barnaul, 29 iyunya – 2 iyulya 2017 g.), eds. A.I. Budkin, A.V. Zharikov, G.V. Kravchenko, i dr., Izd-vo Alt. un-ta, Barnaul, 2017, 6-7 http://konf.asu.ru/math-altai/download_file.php?s=math-altai&f=mak_2017.pdf  elib
11. S. I. Bashmakov, A. V. Kosheleva, V. V. Rybakov, “Unification for multi-agent temporal logics with universal modality”, Journal of Applied Logics - IFCoLog Journal of Logics and their Applications, 4:4, Special Issue Dedicated to the Memory of Grigori Mints (2017), 939-954 (Published online) https://www.researchgate.net  isi (cited: 1)
12. S. I. Bashmakov, A. V. Kosheleva, “Unifikatsiya vo vremennykh logikakh”, Sintaksis i semantika logicheskikh sistem: materialy 5-i shkoly-seminara (Ulan-Ude, 8–12 avgusta 2017 g.), Iz-vo Buryatskogo gosuniversiteta, Ulan-Ude, 2017, 20–25
13. S. I. Bashmakov, A. V. Kosheleva, V. V. Rybakov, “Unifikatsiya vo vremennykh mnogoagentnykh logikakh s universalnoi modalnostyu”, Matematika v sovremennom mire. Mezhdunar. konf., posvyasch. 60-letiyu Instituta matematiki im. S. L. Soboleva (Novosibirsk, 14–19 avgusta 2017 g.), eds. G.V. Demidenko, Izd-vo Instituta matematiki, Novosibirsk, 2017, 67 http://math.nsc.ru/conference/mmw/2017/Book_Abstract.pdf
14. S. I. Bashmakov, M. I. Golovanov, “Axiomatization of intuitionistic logics defined by small frames”, Yakutian Mathematical Journal, 24:1 (2017), 6–15  mathnet  elib
15. S. I. Bashmakov, “Projective unification for linear non-transitive temporal logic with the operator of universal modality”, Tezisy dokladov mezhdunarodnoi konferentsii “Maltsevskie chteniya” (Novosibirsk, 20–24 noyabrya 2017 g.), IM SO RAN, Novosibirsk, 2017, 175 (Published online) http://www.math.nsc.ru/conference/malmeet/17/malmeet17.pdf
16. S. I. Bashmakov, Vremennye mnogoagentnye logiki i problema unifikatsii, Diss. … kand. fiz.-matem. nauk, SFU, Krasnoyarsk, 2017 , 83 pp. research.sfu-kras.ru  crossref

   2016
17. Stepan I. Bashmakov, “Unification and inference rules in the multi-modal logic of knowledge and linear time LTK”, Zhurn. SFU. Ser. Matem. i fiz., 9:2 (2016), 149–157  mathnet (cited: 3)  crossref  isi (cited: 3)  scopus (cited: 3)
18. S. I. Bashmakov, A. V. Kosheleva, V. Rybakov, “Non-unifiability in linear temporal logic of knowledge with multi-agent relations”, Sib. elektron. matem. izv., 13 (2016), 656–663  mathnet (cited: 1)  crossref  isi (cited: 1)  elib  scopus (cited: 2)
19. S. I. Bashmakov, A. V. Kosheleva, V. V. Rybakov, “On unification and passive rules in multi-modal temporal logic of linear time and knowledge LFPK”, Algebra i logika: teoriya i prilozheniya: tez. dokl. Mezhdunar. konf., posvyasch. 70-letiyu V. M. Levchuka / otv. za vyp.: S. I. Bashmakov, I. N. Zotov, Ya. N. Nuzhin [i dr.] . – 132 s. (Krasnoyarsk, 24 – 29 iyulya 2016 g.), Bibl.-izdat. kompleks SFU, Krasnoyarsk, 2016, 88–90 http://elib.sfu-kras.ru/handle/2311/21619  mathscinet  elib
20. S.I. Bashmakov, “Vopros unifikatsii i bazis passivnykh pravil v mnogomodalnoi logike LTK”, Materialy XXIII Mezhdunar. nauch. konf. studentov, aspirantov i mol. uchenykh "Lomonosov 2016": sektsiya «Vychislit. matem. i kibernetika» (Moskva, MGU, 11-15 aprelya 2016 g.), eds. Atamas E.I., Mesyats A.I., Shevtsova I.G., Izdatelskii otdel fakulteta VMK MGU, Moskva, 2016, 38-39 http://smu.cs.msu.ru/sites/default/files/attachments/Abstracts-Lomonosov-2016.pdf  elib
21. S. I. Bashmakov, A. V. Kosheleva, V. Rybakov, “Projective formulas and unification in linear discrete temporal multi-agent logics”, Sib. elektron. matem. izv., 13 (2016), 923–929  mathnet (cited: 1)  crossref  isi (cited: 1)  elib  scopus (cited: 1)
22. S. I. Bashmakov, A. V. Kosheleva, V. V. Rybakov, “Unification through the projective formulas in linear discrete temporal logics of knowledge”, Tezisy dokladov mezhdunarodnoi konferentsii “Maltsevskie chteniya” (Novosibirsk, 21–25 noyabrya 2016 g.), Institut matematiki im. S. L. Soboleva SO RAN, Novosibirsk, 2016, 218 (Published online) http://www.math.nsc.ru/conference/malmeet/16/malmeet16.pdf
23. S. I. Bashmakov, “Unifikatsiya v mnogomodalnoi logike LTK”, Materialy 54-i mezhdunarodnoi studencheskoi konferentsii MNSK–2016: Matematika (Novosibirsk, 16–20 aprelya 2016 g.), Novos ib. gos. un - t., Novosibirsk, 2016, 6 https://issc.nsu.ru/wp-content/uploads/2016/04/  elib
24. S. I. Bashmakov, “Kriterii neunifitsiruemosti v tranzitivnoi vremennoi lineinoi bimodalnoi logike na mnozhestve tselykh chisel”, Elektr. sbornik mater. mezhdunar. konf. studentov, aspirantov i mol. uchenykh “Prospekt Svobodnyi - 2016”, posvyasch. godu obrazovaniya v SNG: Matem., inform.. Algebra, matem. logika i diskr. matem. (15–25 aprelya 2016 g.), Bibl.-izdat. kompleks SFU, Krasnoyarsk, 2016, 10 http://nocmu.sfu-kras.ru/digest2016/src/

   2013
25. S. I. Bashmakov, “Aksiomatizatsiya intuitsionistskikh logik maloi glubiny”, Molodezh i nauka: sbornik materialov IKh Vserossiiskoi nauch.-tekh. konf. studentov, aspirantov i molodykh uchenykh s mezhdunar. uchastiem, posvyaschennoi 385-letiyu Krasnoyarska, Sektsiya «Matematika, informatika: Algebra, matematicheskaya logika i diskretnaya matematika» (Krasnoyarsk, 15–25 aprelya 2013 g.), eds. O.A. Kraev, Sibirskii federalnyi universitet, Krasnoyarsk, 2013 http://conf.sfu-kras.ru/sites/mn2013/thesis/s061/s061-002.pdf

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2021