Linear Intransitive Temporal Logic of Knowledge LTK_r, Decision Algorithms, Inference Rules

Alexandra Lukyanchuk, Vladimir Rybakov

Our paper investigates the linear logic of knowledge and time LTK_r with reflexive intransitive time relation. The logic is defined semantically, -- as the set of formulas which ar…