Report - Coalgebraic Logics: Modalities Beyond Kripke Semanticsmizuhito/jss12/CL.pdf · 2012. 3. 6. · Lecture 1: Modelling • first and foremost: examples • basic definitions • the

Please pass captcha verification before submit form