Лукьянчук Александра Николаевна

Публикации в базе данных Math-Net.Ru

1. Допустимые правила вывода линейной логики знания и времени $LTK_r$ с интранзитивным отношением времени
   
   Сиб. матем. журн., 56:3 (2015),  573–593
2. Decidability of multi-modal logic $LTK$ of linear time and knowledge
   
   Журн. СФУ. Сер. Матем. и физ., 6:2 (2013),  220–226
3. Аксиоматизация линейной логики знания и времени $LTK_r$ с интранзитивным отношением времени
   
   Сиб. матем. журн., 54:6 (2013),  1304–1314