1 citations to https://www.mathnet.ru/eng/iigum528

1. N. A. Protsenko, V. V. Rybakov, “The satisfiability problem in linear multi-agent knowledge logic based on $\mathbb{N}$”, Izvestiya Irkutskogo gosudarstvennogo universiteta. Seriya Matematika, 49 (2024), 124–134