A Note on Parameterised Knowledge Operations in Temporal Logic

TL;DR

This paper explores modeling knowledge using linear temporal logic with past operators, proposing a new approach to understanding knowledge as a temporal concept rather than a static one.

Contribution

It introduces a novel perspective on knowledge modeling through temporal logic with past, including semantics, language, and decision algorithms.

Findings

Developed semantics and language for temporal knowledge logic

Proposed algorithms for deciding temporal knowledge properties

Commented on unification within this temporal framework

Abstract

We consider modeling the conception of knowledge in terms of temporal logic. The study of knowledge logical operations is originated around 1962 by representation of knowledge and belief using modalities. Nowadays, it is very good established area. However, we would like to look to it from a bit another point of view, our paper models knowledge in terms of linear temporal logic with {\em past}. We consider various versions of logical knowledge operations which may be defined in this framework. Technically, semantics, language and temporal knowledge logics based on our approach are constructed. Deciding algorithms are suggested, unification in terms of this approach is commented. This paper does not offer strong new technical outputs, instead we suggest new approach to conception of knowledge (in terms of time).