An axiomatization for the linear logic of knowledge and time LTK with intransitive time relation.

We study the problem of the axiomatization of the linear multimodal logic of knowledge and time LTK with reflexive intransitive time relation. The logic is defined semantically as the set of formulas true on frames of a special kind. The LTK-frames are linear chains of clusters connected by a reflexive intransitive relation R which simulates time. Elements inside a cluster are connected by several equivalence relations imitating the knowledge of different agents. The main result of the article is the proof of the fact that the finite set of formulas proposed by the authors is an axiomatization of the logic LTK with reflexive intransitive time relation. [ABSTRACT FROM AUTHOR]

Copyright of Siberian Mathematical Journal is the property of Springer Nature and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)