%0 Journal Article
%A N. A. Protsenko
%A V. V. Rybakov
%T The satisfiability problem in linear multi-agent knowledge logic based on $\mathbb{N}$
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2024
%P 124-134
%V 49
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IIGUM_2024_49_a8/
%G en
%F IIGUM_2024_49_a8