Smelykh Kirill Aleksandrovich

Publications in Math-Net.Ru

1. Relational version of the multi-agent computation tree logic $\mathcal{CTLK}$
   
   Bulletin of Irkutsk State University. Series Mathematics, 47 (2024),  78–92