TY  - RPRT
TI  - Linear Intransitive Temporal Logic of Knowledge LTK_r, Decision Algorithms, Inference Rules
AU  - Alexandra Lukyanchuk
AU  - Vladimir Rybakov
PY  - 2014
UR  - https://arxiv.org/abs/1407.7136
ID  - 1407.7136
ER  -