Logiczne prawa rozdzielności

Speaker(s)

Bartek Klin

Affiliation

Uniwersytet Warszawski

Date

Dec. 5, 2011, 10:15 a.m.

Room

room 4790

Seminar

Seminar Semantics, Logic, Verification and its Applications

---

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.

---