Stepan I. Bashmakov

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Linear step-like logic of knowledge \(\mathcal{LTK}.{sl} \) Sibirskie Elektronnye Matematicheskie Izvestiya	2024-08-14	Paper
Relational version of the multi-agent computation tree logic \(\mathcal{CTLK} \) The Bulletin of Irkutsk State University. Series Mathematics	2024-04-14	Paper
Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality Bulletin of the Section of Logic	2024-02-29	Paper
Unification in pretabular extensions of S4 Logica Universalis	2021-11-03	Paper
Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality Journal of Siberian Federal University. Mathematics & Physics	2021-03-18	Paper
Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK Journal of Siberian Federal University. Mathematics & Physics	2021-03-18	Paper
Axiomatization of intuitionistic logics defined by small frames	2018-10-30	Paper
Projective formulas and unification in linear discrete temporal multi-agent logics Sibirskie Elektronnye Matematicheskie Izvestiya	2017-09-06	Paper
Non-unifiability in linear temporal logic of knowledge with multi-agent relations Sibirskie Elektronnye Matematicheskie Izvestiya	2017-09-06	Paper

Research outcomes over time

This page was built for person: Stepan I. Bashmakov