Saturated Kripke structures as Vietoris coalgebras

DOI10.1007/978-3-031-10736-8_5MaRDI QIDQ2104479zbMATH OpenOpenAlexFDO

Authors H. Peter Gumm, M. Taheri

Publication date 7 December 2022

Full work available at URL https://arxiv.org/abs/2202.07786

zbMATH Keywords

bisimulationsVietoris functorsaturated Kripke structuresVietoris coalgebrasVietoris convergence

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cites work

• scientific article; zbMATH DE number 3688686 (Why is no real title available?)
• scientific article; zbMATH DE number 3494368 (Why is no real title available?)
• scientific article; zbMATH DE number 1461253 (Why is no real title available?)
• Additions and corrections to ``Terminal coalgebras in well-founded set theory
• Coalgebraic logic for stochastic right coalgebras
• Coalgebras of bounded type
• Final coalgebras and the Hennessy-Milner property
• Final coalgebras for functors on measurable spaces
• Finitary Functors: From Set to Preord and Poset
• Handbook of modal logic
• Limits in categories of Vietoris coalgebras
• Modal logic
• Stone coalgebras
• Terminal coalgebras in well-founded set theory
• Universal coalgebra: A theory of systems
• Vietoris bisimulations

Cited in

(2)

• Preservation and reflection of bisimilarity via invertible steps
• Saturated Kripke Structures as Vietoris Coalgebras

This page was built for publication: Saturated Kripke structures as Vietoris coalgebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2104479)