Personal information
modal logic, unification, temporal logic, intuinistic logic, projective formulas
Russia
Activities
Employment (2)
2018-08-25
to
present
|
Associate Professor
(Department of Algebra and Mathematical Logic)
Employment
Source:
Stepan Bashmakov
2014-09-01
to
2018-08-31
|
Assistant
(Department of Algebra and Mathematical Logic)
Employment
Source:
Stepan Bashmakov
Education and qualifications (3)
2014-09
to
2018-07
|
Postgraduate student/ Mathematical Logic, Algebra and Number Theory
(Department of Algebra and Mathematical Logic)
Education
Source:
Stepan Bashmakov
2012-09
to
2014-07
|
Master/ Mathematics
(Department of Algebra and Mathematical Logic)
Education
Source:
Stepan Bashmakov
2008-09
to
2012-07
|
Bachelor/Mathematics and Computer Science
(Department of Algebra and Mathematical Logic)
Education
Source:
Stepan Bashmakov
Funding (1)
2018-01
to
2019-12
|
Award
Moebius Contest Foundation for Young Scientists
(Moscow, RU)
Source:
Stepan Bashmakov
Works (9)
Bulletin of the Section of Logic
2022-09-09
|
Journal article
|
Author
Contributors:
Stepan Bashmakov;
Tatyana Zvereva
Source:
Stepan Bashmakov
Logica Universalis
2021-09
|
Journal article
Contributors:
Stepan Bashmakov;
Stepan I. Bashmakov
Source:
Stepan Bashmakov
Source:
Stepan Bashmakov
Journal of Siberian Federal University. Mathematics and Physics
2018-01-01
|
Journal article
Source:
Stepan Bashmakov
Yakutian Mathematical Journal
2017
|
Journal article
Source:
Stepan Bashmakov
Siberian Electronic Mathematical Reports
2016
|
Journal article
EID:
2-s2.0-85014123383
Contributors:
Bashmakov, S.I.;
Kosheleva, A.V.;
Rybakov, V.
Source:
Stepan Bashmakov
via
Scopus - Elsevier
Siberian Electronic Mathematical Reports
2016
|
Journal article
EID:
2-s2.0-85014115087
Contributors:
Bashmakov, S.I.;
Kosheleva, A.V.;
Rybakov, V.
Source:
Stepan Bashmakov
via
Scopus - Elsevier
Journal of Siberian Federal University - Mathematics and Physics
2016
|
Journal article
EID:
2-s2.0-84973467744
Contributors:
Bashmakov, S.I.
Source:
Stepan Bashmakov
via
Scopus - Elsevier
IfCoLog Journal of Logics and their Applications
Journal article
Part of
ISSN:
055-3714
Source:
Stepan Bashmakov