%0 Journal Article
%A Stepan I. Bashmakov
%A Kirill A. Smelykh
%T Relational version of the multi-agent computation tree logic $\mathcal{CTLK}$
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2024
%P 78-92
%V 47
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IIGUM_2024_47_a5/
%G ru
%F IIGUM_2024_47_a5