%0 Journal Article %A Pattinson, Dirk %D 2004 %I Duke University Press %J Notre Dame Journal of Formal Logic %N 1 %P 19-33 %T Expressive Logics for Coalgebras via Terminal Sequence Induction %V 45