Linear Intransitive Temporal Logic of Knowledge LTK_r, Decision Algorithms, Inference Rules. - Alexandra Lukyanchuk; Vladimir V. Rybakov (CoRR, 2014)