A Note on Expressive Coalgebraic Logics for Finitary Set Functors

Lawrence S. Moss. A Note on Expressive Coalgebraic Logics for Finitary Set Functors. Journal of Logic and Computation, 20(5):1101-1111, 2010. [doi]

Abstract

Abstract is missing.