Nabla Algebras and Chu Spaces

DOI10.1007/978-3-540-73859-6_27zbMath1214.03057OpenAlexW2139415933MaRDI QIDQ3612503

Alessandra Palmigiano, Yde Venema

Publication date: 10 March 2009

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-540-73859-6_27

zbMATH Keywords

coalgebraChu spacerelation liftingmodal algebraVietoris hyperspace

Mathematics Subject Classification ID

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

Related Items (5)

Coalgebras, Chu spaces, and representations of physical systems ⋮ Big toy models. Representing physical systems as Chu spaces ⋮ Completeness for flat modal fixpoint logics ⋮ Coalgebraic semantics of modal logics: an overview ⋮ Generalised powerlocales via relation lifting

This page was built for publication: Nabla Algebras and Chu Spaces