mu-calculus with atoms

Speaker(s)

Bartek Klin

Affiliation

Uniwersytet Warszawski

Date

Oct. 11, 2017, 2:15 p.m.

Room

room 5050

Seminar

Seminar Automata Theory

---

True to the spirit of "\lambda x. (x with atoms)", I will present a modal mu-calculus with atoms. I will also explain what is wrong with it, and how it could perhaps be improved.

This is joint work with Mateusz Łełyk.

---