You are not logged in |
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.
