Login / Signup
Stepan I. Bashmakov
ORCID
Publication Activity (10 Years)
Years Active: 2017-2021
Publications (10 Years): 2
Top Topics
Theorem Proving
Reactive Systems
Verification Method
Temporal Logic
Top Venues
Logica Universalis
FLAP
</>
Publications
</>
Stepan I. Bashmakov
Unification in Pretabular Extensions of S4.
Logica Universalis
15 (3) (2021)
Stepan I. Bashmakov
,
Anna V. Kosheleva
,
Vladimir V. Rybakov
Unification for Multi-Agent Temporal Logics with Universal Modality.
FLAP
4 (4) (2017)