TY - JOUR AU - Pattinson, Dirk IS - 1 JA - Notre Dame Journal of Formal Logic PB - Duke University Press PY - 2004 TI - Expressive Logics for Coalgebras via Terminal Sequence Induction VL - 45 ER -