Khelemendik R. V. Russia Keldysh Institute of Applied Mathematics, Россия, Москва, Миусская площадь, 4 romash@keldysh.ru Author's articles On the Solution of Chess Positions Using Computational Tree Logic