Annotation
This course concentrates on coalgebraic study of modal logics. Coalgebraic modal logics (languages) are used to describe behaviour of state-based systems modeled as coalgebras (examples of coalgebras include various automata or Kripke frames).
The course covers basics of abstract coalgebra, two distinct possibilities of defining an expressive modal language for them (modalities via predicate liftings and cover modalities) and basic properties of such logics (axiomatics, completeness, proof systems).