TY  - JOUR
AU  - N. A. Protsenko
AU  - V. V. Rybakov
TI  - The satisfiability problem in linear multi-agent knowledge logic based on $\mathbb{N}$
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2024
SP  - 124
EP  - 134
VL  - 49
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2024_49_a8/
LA  - en
ID  - IIGUM_2024_49_a8
ER  -