EN
In the information society, there exists an irresistible need, one may even say a necessity, to acquire and comprehend knowledge. Equipped with a sufficient level of knowledge and defined rules of inference, we are able to undertake specific decisions. In order to attain better representation and exploration of the ever expanding knowledge resources and to undertake appropriate decisions, we create constantly improved means of representing knowledge and enhanced methods of modelling situations for the real world. The language of classical logic is an appropriate tool for the formal description of statistical incidents. Incidents taking place in time require a novelapproach. The power of expression, enabling a formal description of the time component, is made possible by the language of temporal logic.