LITO - a logic for indeterminate temporal objects

In order to obtain a suitable model of the universe of discourse of some information systems, it is important to allow the description of imprecise objects with temporal indeterminacy. These objects are called indeterminate temporal objects. This work presents formalism, called LITO (logic of indeterminate temporal objects), for the representation, querying and modification of such objects.