Admissible inference rules in the linear logic of knowledge and time LTK r with intransitive time relation
A. N. Luk’yanchuk, Vladimir Vladimirovich Rybakov · Siberian Mathematical Journal · 2015
We obtain a necessary condition and a sufficient condition for the admissibility of inference rules of the linear multi-modal logic of knowledge and time LTK r with reflexive and intransitive time relation. We also construct a special n-characterizing model for this logic.