TY - JOUR AU - S. I. Bashmakov AU - T. Yu. Zvereva TI - Linear step-like logic of knowledge $\mathcal{LTK}.{sl}$ JO - Sibirskie èlektronnye matematičeskie izvestiâ PY - 2023 SP - 1361 EP - 1373 VL - 20 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/SEMR_2023_20_2_a15/ LA - ru ID - SEMR_2023_20_2_a15 ER -