Coalgebraic Logic
Modal Logic
Overview or Coalgebraic Logic
Examples
Introduction to Coalgebraic Logic
Functorial Modal Logic
Cospan (Bi)Similarity.md