Expressiveness of probabilistic modal logics

Speaker(s)

Bartek Klin

Affiliation

Uniwersytet Warszawski

Date

May 17, 2017, 2:15 p.m.

Room

room 5870

Seminar

Seminar Automata Theory

---

I will show new proofs of expressiveness of modal logics for probabilistic bisimulation and simulation on continuous-state Labelled Markov Processes, with a new result about Polish spaces on the way. This is joint work with Nathanael Fijalkow and Prakash Panangaden, with an important contribution of Roman Pol.

---