Coalgebraic logic over general measurable spaces – a survey

DOI10.1017/S0960129510000526zbMath1235.03065MaRDI QIDQ3005987

Christoph Schubert, Ernst-Erich Doberkat

Publication date: 10 June 2011

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

modal logiccoalgebrameasurable spacesurvey paperbehavioural equivalencecoalgebraic logicbisimilaritygeneralisation of stochastic Kripke models

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Categorical logic, topoi (03G30)

Related Items (5)

A stochastic interpretation of propositional dynamic logic: expressivity ⋮ Algebraic properties of stochastic effectivity functions ⋮ Universal type structures with unawareness ⋮ Approximating Markov processes through filtration ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Expressive logics for coalgebras via terminal sequence induction
• Stochastic coalgebraic logic: bisimilarity and behavioral equivalence
• Coalgebraic logic for stochastic right coalgebras
• Stochastic coalgebraic logic
• Bisimulation through probabilistic testing
• Coalgebraic logic
• Universal coalgebra: A theory of systems
• Probability logic of finitely additive beliefs
• The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator
• Expressivity of coalgebraic modal logic: the limits and beyond
• Bisimulation and cocongruence for probabilistic systems
• Final coalgebras for functors on measurable spaces
• Bisimulation for labelled Markov processes
• Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence
• Exemplaric Expressivity of Modal Logics
• Deduction Systems for Coalgebras Over Measurable Spaces
• A Demonic Approach to Information in Probabilistic Systems
• Behavioral and Logical Equivalence of Stochastic Kripke Models in General Measurable Spaces
• Terminal Coalgebras for Measure-Polynomial Functors
• A Complete Deductive System for Probability Logic
• Semi-pullbacks and bisimulation in categories of Markov processes
• Coalgebraic Modal Logic Beyond Sets
• Stochastic Relations
• Modular Algorithms for Heterogeneous Modal Logics
• Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem
• Semi-pullbacks for stochastic relations over analytic spaces

This page was built for publication: Coalgebraic logic over general measurable spaces – a survey