|
|
|
Publications in Math-Net.Ru |
Citations |
|
2015 |
| 1. |
A. N. Luk'yanchuk, V. V. Rybakov, “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    ; Siberian Math. J., 56:3 (2015), 455–470   |
|
2013 |
| 2. |
Alexandra N. Lukyanchuk, “Decidability of multi-modal logic $LTK$ of linear time and knowledge”, J. Sib. Fed. Univ. Math. Phys., 6:2 (2013), 220–226 |
5
|
| 3. |
A. N. Luk'yanchuk, V. V. Rimatskiĭ, “An axiomatization for the linear logic of knowledge and time $LTK_r$ with intransitive time relation”, Sibirsk. Mat. Zh., 54:6 (2013), 1304–1314 ; Siberian Math. J., 54:6 (2013), 1037–1045 |
3
|
|
| Organisations |
|
|
Contact us: