Vietoris bisimulations

DOI10.1093/LOGCOM/EXN091MaRDI QIDQ3056296zbMATH OpenOpenAlexFDO

Authors Nick Bezhanishvili, Gaëlle Fontaine, Yde Venema

Publication date 11 November 2010

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/e137ec284dbd1586e7b13b7142aae3bd335c9f05

zbMATH Keywords

coalgebramodal logicbisimulationdescriptive frameVietoris construction

Mathematics Subject Classification ID

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

Recommendations

• Bisimulations for coalgebras on Stone spaces
• Modal logic and the Vietoris functor
• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• Stone coalgebras
• Stone coalgebras

Cited in

(20)

• Characteristic classes and bisimulations of generalized Veltman models
• Bisimulations for coalgebras on Stone spaces
• On \(\mathbf{MV} \)-coalgebras over the category of BL-algebras
• Saturated Kripke structures as Vietoris coalgebras
• Bisimulations and bisimulation quotients of generalized Veltman models
• Bisimulations between generalized Veltman models and Veltman models
• Sahlqvist theorem for modal fixed point logic
• INQUISITIVE BISIMULATION
• scientific article; zbMATH DE number 7015161 (Why is no real title available?)
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Monoidal extended stone duality
• Hennessy-Milner properties via topological compactness
• Games for topological fixpoint logic
• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• Modal logic and the Vietoris functor
• Preservation and reflection of bisimilarity via invertible steps
• Coalgebraic Geometric Logic: Basic Theory
• Relating coalgebraic notions of bisimulation. With applications to name-passing process calculi (extended abstract)
• Limits in categories of Vietoris coalgebras
• scientific article; zbMATH DE number 7649890 (Why is no real title available?)

This page was built for publication: Vietoris bisimulations

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