A Note on Expressive Coalgebraic Logics for Finitary Set Functors

DOI10.1093/LOGCOM/EXN095zbMath1205.03070OpenAlexW2013106107MaRDI QIDQ3056299

Lawrence S. Moss

Publication date: 11 November 2010

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exn095

zbMATH Keywords

expressivitypredicate liftingcoalgebric logicsfinitary set functorsstrong expressivity

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

Related Items (1)

On Coalgebras over Algebras

This page was built for publication: A Note on Expressive Coalgebraic Logics for Finitary Set Functors