Power-Set Functors and Saturated Trees.

DOI10.4230/LIPIcs.CSL.2011.5zbMath1247.03140OpenAlexW2266052418MaRDI QIDQ2915670

Jiří Adámek, Lawrence S. Moss, Stefan Milius, Lurdes Sousa

Publication date: 18 September 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_d1dd.html

zbMATH Keywords

modal logicfinal coalgebraextensional treepower-set functorsaturated tree

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30)

Related Items (2)

A description based on languages of the final non-deterministic automaton ⋮ On final coalgebras of power-set functors and saturated trees

This page was built for publication: Power-Set Functors and Saturated Trees.