Logiczne prawa rozdzielności

Prelegent(ci)

Bartek Klin

Afiliacja

Uniwersytet Warszawski

Termin

5 grudnia 2011 10:15

Pokój

p. 4790

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

Opowiem o metodzie dowodzenia kompozycjonalności
równoważności behawioralnych za pomocą układów równań między
operatorami modalnymi. Najpierw przypomnę, co to są koalgebry,
bialgebry, logiki modalne i SOS.

---