Mu-calculi with atoms

Prelegent(ci)

Bartosz Klin

Afiliacja

Uniwersytet Warszawski

Termin

9 maja 2018 14:15

Pokój

p. 5050

Seminarium

Seminarium „Teoria automatów”

---

I will show an extension of modal mu-calculus to sets with atoms, developed jointly with Mateusz Łełyk. Model checking is decidable there, and a correspondence to parity games holds. On the other hand, satisfiability becomes undecidable. I will also show expressive limitations of the atom-enriched calculus. I will conclude with an infuriating open problem.

---