Spatio-temporal granular logic and its applications to dynamic information systems

The main research content of the paper is a granular logic with meaning of space and time. Temporal operators Until (U) and Since (S) are studied. U and S are introduced into the granular logic, to have a temporal granular logic. Subsequently, a spatio-temporal changing function π: X×T→X is proposed, which are functions of two arguments mapping a point in space and a point in time, to another a point in space. Where X is the state space, T is a time-lines. Temporal granular logic is defined in the state space, thus the spatio-temporal granular logic is constructed. Further, the deductive systems of the logic are discussed. Finally, the applications of the logic are illustrated with real examples.