Personal information

modal logic, unification, temporal logic, intuinistic logic, projective formulas
Russia

Activities

Employment (2)

Siberian Federal University: Krasnoyarsk, Krasnoyarsk state, RU

2018-08-25 to present | Associate Professor (Department of Algebra and Mathematical Logic)
Employment
Source: Self-asserted source
Stepan Bashmakov

Siberian Federal University: Krasnoyarsk, RU

2014-09-01 to 2018-08-31 | Assistant (Department of Algebra and Mathematical Logic)
Employment
Source: Self-asserted source
Stepan Bashmakov

Education and qualifications (3)

Siberian Federal University: Krasnoyarsk, RU

2014-09 to 2018-07 | Postgraduate student/ Mathematical Logic, Algebra and Number Theory (Department of Algebra and Mathematical Logic)
Education
Source: Self-asserted source
Stepan Bashmakov

Siberian Federal University: Krasnoyarsk, RU

2012-09 to 2014-07 | Master/ Mathematics (Department of Algebra and Mathematical Logic)
Education
Source: Self-asserted source
Stepan Bashmakov

Siberian Federal University: Krasnoyarsk, RU

2008-09 to 2012-07 | Bachelor/Mathematics and Computer Science (Department of Algebra and Mathematical Logic)
Education
Source: Self-asserted source
Stepan Bashmakov

Funding (1)

Unification in linear modal logic of non-transitive time with universal modality

2018-01 to 2019-12 | Award
Moebius Contest Foundation for Young Scientists (Moscow, RU)
GRANT_NUMBER: 1
Source: Self-asserted source
Stepan Bashmakov

Works (9)

Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality

Bulletin of the Section of Logic
2022-09-09 | Journal article | Author
Part of ISSN: 2449-836X
Part of ISSN: 0138-0680
Contributors: Stepan Bashmakov; Tatyana Zvereva
Source: Self-asserted source
Stepan Bashmakov

Unification in Pretabular Extensions of S4

Logica Universalis
2021-09 | Journal article
Part of ISSN: 1661-8297
Part of ISSN: 1661-8300
Contributors: Stepan Bashmakov; Stepan I. Bashmakov
Source: Self-asserted source
Stepan Bashmakov

Unification in pretabular extensions of S4

2020-05-18 | Preprint
Source: Self-asserted source
Stepan Bashmakov

Unification in linear modal logic on non-transitive time with the universal modality

Journal of Siberian Federal University. Mathematics and Physics
2018-01-01 | Journal article
Source: Self-asserted source
Stepan Bashmakov

Axiomatization of Intuitionistic Logics Defined by Small Frames

Yakutian Mathematical Journal
2017 | Journal article
Part of ISSN: 2587-876X
Source: Self-asserted source
Stepan Bashmakov

Non-unifiability in linear temporal logic of knowledge with multi-agent relations

Siberian Electronic Mathematical Reports
2016 | Journal article
EID:

2-s2.0-85014123383

Contributors: Bashmakov, S.I.; Kosheleva, A.V.; Rybakov, V.
Source: Self-asserted source
Stepan Bashmakov via Scopus - Elsevier

Projective formulas and unification in linear discrete temporal multi-agent logics

Siberian Electronic Mathematical Reports
2016 | Journal article
EID:

2-s2.0-85014115087

Contributors: Bashmakov, S.I.; Kosheleva, A.V.; Rybakov, V.
Source: Self-asserted source
Stepan Bashmakov via Scopus - Elsevier

Unification and inference rules in the multi-modal logic of knowledge and linear time LTK

Journal of Siberian Federal University - Mathematics and Physics
2016 | Journal article
EID:

2-s2.0-84973467744

Contributors: Bashmakov, S.I.
Source: Self-asserted source
Stepan Bashmakov via Scopus - Elsevier

Unification for multi-agent temporal logics with universal modality

IfCoLog Journal of Logics and their Applications
Journal article
Part of ISSN:

055-3714

Part of ISBN: 78-1-84890-240-4
Source: Self-asserted source
Stepan Bashmakov

Peer review (1 review for 1 publication/grant)

Review activity for Studia logica. (1)