ResearcherID Thomson Reuters  

Bashmakov, Stepan I
Create a ResearcherID badge for this researcher View publications analytics for this researcher
Close
ResearcherID: K-7178-2017
Other Names: S.I. Bashmakov; S Bashmakov; S. Bashmakov; Stepan Bashmakov
URL: http://www.researcherid.com/rid/K-7178-2017
Subject: Computer Science; Mathematics
Keywords: modal logic; unification; temporal logic; intuinistic logic; projective formulas
Publons: https://publons.com/a/1399322
ORCID: http://orcid.org/0000-0002-3354-0383
My Institutions (more details)
Primary Institution:
Sub-org/Dept: Department of Algebra and Mathematical Logic, Institute of Mathematics and Computer Science
Role:
My URLs: https://scholar.google.ru/citations?user=g1pHGz8AAAAJ&hl=ru
http://math.sfu-kras.ru/node/1100
https://www.researchgate.net/profile/Stepan_Bashmakov
 
 

This list contains papers that I have authored.

publication(s)  
First Page Previous Page Page   of  1  Go Next Page Last Page
  Sort by:    Results per page: 
1.  Title: Unification in linear modal logic on non-transitive time with the universal modality
 Source: Journal of Siberian Federal University. Mathematics and Physics Published: 2018
 DOI: 10.17516/1997-1397-2018-11-1-3-9 /  Author-provided URL : http://mi.mathnet.ru/jsfu585
added
15-Feb-18
2.  Title: Axiomatization of intuitionistic logics defined by small frames
 Author(s): Bashmakov, SI; Golovanov, MI
 Source: Yakutian Mathematical Journal Volume: 24 Issue: 1 Pages: 6--15 Published: 2017
 Author-provided URL : https://www.s-vfu.ru/universitet/rukovodstvo-i-struktura/instituty/niim/mzsvfu/i ...
added
05-Dec-17
3.  Title: Non-unifiability in linear temporal logic of knowledge with multi-agent relations
 Author(s): Bashmakov, S.I.; Kosheleva, A.V.; Rybakov, V.
 Source: Siberian Electronic Mathematical Reports Volume: 13 Pages: 656-663 Published: 2016
 DOI: 10.17377/semi.2016.13.052 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-85014123383&partnerID=MN8TOAR ...
added
28-Jun-17
4.  Title: Projective formulas and unification in linear discrete temporal multi-agent logics
 Author(s): Bashmakov, S.I.; Kosheleva, A.V.; Rybakov, V.
 Source: Siberian Electronic Mathematical Reports Volume: 13 Pages: 923-929 Published: 2016
 DOI: 10.17377/semi.2016.13.074 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-85014115087&partnerID=MN8TOAR ...
added
28-Jun-17
5.  Title: Unification and inference rules in the multi-modal logic of knowledge and linear time LTK
 Author(s): Bashmakov, S.I.
 Source: Journal of Siberian Federal University - Mathematics and Physics Volume: 9 Issue: 2 Pages: 149-157 Published: 2016
 DOI: 10.17516/1997-1397-2016-9-2-149-157 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84973467744&partnerID=MN8TOAR ...
added
28-Jun-17
6.  Title: Unification for multi-agent temporal logics with universal modality
 Source: IfCoLog Journal of Logics and their Applications
 Author-provided URL : http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf
added
17-Jul-17
publication(s)  
First Page Previous Page Page   of  1  Go Next Page Last Page
  Sort by:    Results per page: