Lukyanchuk Alexandra Nikolaevna

Publications in Math-Net.Ru

1. Admissible inference rules in the linear logic of knowledge and time $LTK_r$ with intransitive time relation
   
   Sibirsk. Mat. Zh., 56:3 (2015),  573–593
2. Decidability of multi-modal logic $LTK$ of linear time and knowledge
   
   J. Sib. Fed. Univ. Math. Phys., 6:2 (2013),  220–226
3. An axiomatization for the linear logic of knowledge and time $LTK_r$ with intransitive time relation
   
   Sibirsk. Mat. Zh., 54:6 (2013),  1304–1314