Homomorphisms of Coalgebras from Predicate Liftings

DOI10.1007/978-3-642-40206-7_11zbMath1394.03082OpenAlexW1886943183MaRDI QIDQ2848944

Sebastian Enqvist

Publication date: 13 September 2013

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40206-7_11

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Categories of sets, characterizations (18B05)

Related Items (2)

Hennessy-Milner and van Benthem for instantial neighbourhood logic ⋮ Unnamed Item

This page was built for publication: Homomorphisms of Coalgebras from Predicate Liftings