V. V. Rimatskiĭ
Author
Alternate names Vitalii V. Rimatskii, Виталий В. Римацкий, Виталий Валентинович Римацкий, V. V. Rimatskiĭ, V. V. Rimatskii +1 more
Institution Siberian Federal University
Past institution Siberian Federal University
H-index: 3
I10-index:
Works count: 16
Citations count: 22
Bases of admissible inference rules for table modal logics of depth 2
1996 · V. V. Rimatskiĭ · Algebra and Logic
Finite bases with respect to admissibility for modal logics of width 2
1999 · V. V. Rimatskiĭ · Algebra and Logic
An axiomatization for the linear logic of knowledge and time LTK r with intransitive time relation
2013 · A. N. Luk’yanchuk, V. V. Rimatskiĭ · Siberian Mathematical Journal