Matteo Mio: Axiomatisation of Probabilistic Logics
Vir: Seminar za osnove matematike in teoretičnega računalništva
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.