Saturated Kripke structures as Vietoris coalgebras

DOI10.1007/978-3-031-10736-8_5OpenAlexW4286600170MaRDI QIDQ2104479FDOQ2104479

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

• Modal logic
• Universal coalgebra: A theory of systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Final coalgebras and the Hennessy-Milner property
• Handbook of modal logic
• Stone coalgebras
• Terminal coalgebras in well-founded set theory
• Vietoris Bisimulations
• Final coalgebras for functors on measurable spaces
• Finitary Functors: From Set to Preord and Poset
• Coalgebras of bounded type
• Coalgebraic logic for stochastic right coalgebras
• Additions and corrections to ``Terminal coalgebras in well-founded set theory
• Title not available (Why is that?)
• Limits in categories of Vietoris coalgebras

Cited In (2)

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

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)