Matteo Mio: Axiomatisation of Probabilistic Logics

Datum objave: 22. 6. 2018
Seminar za temelje matematike in teoretično računalništvo
Torek, 26. 6. 2018, od 12h do 14h, 3.04 na Jadranski 21

Speaker: Matteo Mio, ENS-Lyon

Title: Axiomatisation of Probabilistic Logics

Abstract: Probabilistic logics are formalisms for expressing properties of Markov chains, which are natural models of probabilistic computation. Despite more than 35 years of research, the decidability problem of most prob. logics is still open in the literature. Similarly, we do now have axiomatisations of most probabilistic logics.

In this talk I will present my recent research on this topic based on following two conference papers

  • Matteo Mio, Riesz Modal Logic with Threshold Operators, Proc. of LICS, 2018.
  • Matteo Mio and Robert Furber and Radu Mardare, Riesz Modal Logic for Markov Processes, Proc. of LICS, 2017.