ὅδε οἶκος, ὦ ἑταῖρε, μνημεῖον ἐστιν ζωῶν τῶν σοφῶν ἀνδρῶν, καὶ τῶν ἔργων αὐτῶν
Virtual exhibition: download the application from GooglePlay or AppStore



Probability Logic Seminar
Chairperson: Dr Miodrag Rašković


Home page of the Seminar


Dr Miodrag Rašković
Probabilistic logic (or probability logic) is a common name for a branch of mathematical logic devoted to the study of reasoning in the presence of uncertainty, where uncertainty is represented in terms of probability. We can find traces of reasoning about probability in the work of scholars such as Gottfried Wilhelm Leibnitz, George Boole and many others, but the modern era of probability logic started with the work of Jerome Keisler in the mid-seventies of the XX century.

Aleksandar Kron (1938-2000), Serbian logician and philosopher, one of the founders of the Mathematical Logic Seminar at the Mathematical Institute of the Serbian Academy of Sciences and Arts, studied the relationship between multi-valued logics and probability theory. The founder and the main representative of modern probability logic in Serbia is Miodrag Rašković. His work started in the early eighties of the XX century with the development of the so-called middle model technique and its application to solving various problems proposed by Jerome Keisler.

In 2004, Miodrag Rašković, Zoran Marković, Zoran Ognjanović, Nebojša Ikodinović and Dragan Radojević initiated an informal seminar on probability logic at the Mathematical Institute of Serbian Academy of Sciences and Arts. In the years that followed, a number of younger researchers joined the group. Due to the steady growth in the number of participants (mostly graduate students) and the corresponding scientific output, the informal research group has naturally evolved into an official seminar of the Mathematical Institute. The seminar has been held weekly (Thursdays at 3 pm) at the Mathematical Institute since its establishment in 2008.

The aim of the seminar is to provide a permanent research forum for all researchers interested in reasoning under uncertainty. Completion and decidability techniques are frequently discussed in great detail, with particular emphasis on their application to specific open problems. Graduate students are encouraged to present contemporary work of renowned researches in the field. Fruitful discussions at such presentations often lead to new results and a better understanding of the considered phenomena.