In order to understand the basic principles of the formalism we will introduce and treat temporal logic, probabilistic logic and the combination separately.