Для цитирования:

Мясников К.М., Кудинов А.В. Влияние аксиомы связности на сложность модальной логики. Математика и теоретические компьютерные науки. 2025;3(2):58-84. https://doi.org/10.26907/2949-3919.2025.2.58-84

For citation:

Myasnikov K.M., Kudinov A.V. The influence of connectivity axiom on complexity of modal logic. Mathematics and Theoretical Computer Science. 2025;3(2):58-84. (In Russ.) https://doi.org/10.26907/2949-3919.2025.2.58-84