THE ZHOU ORDINAL OF LABELLED MARKOV PROCESSES OVER SEPARABLE SPACES

DOI10.1017/s1755020322000375arXiv2005.03630OpenAlexW3022753491MaRDI QIDQ6148464

Terraf Pedro Sánchez, Unnamed Author

Publication date: 11 January 2024

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

Martin's axiomnon-classical logicsprobabilistic bisimilaritylabelled Markov processnon-measurable setZhou ordinal

Mathematics Subject Classification ID

Descriptive set theory (03E15) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Unnamed Item
• Approximating bisimilarity for Markov processes
• Unprovability of the logical characterization of bisimulation
• Topology and descriptive set theory
• Bisimulation and cocongruence for probabilistic systems
• Bisimulation for labelled Markov processes
• Introduction to Bisimulation and Coinduction
• Semi-pullbacks and bisimulation in categories of Markov processes
• A hodgepodge of sets of reals
• Semi-pullbacks for stochastic relations over analytic spaces

This page was built for publication: THE ZHOU ORDINAL OF LABELLED MARKOV PROCESSES OVER SEPARABLE SPACES