Coalgebraic logic over general measurable spaces – a survey

DOI10.1017/S0960129510000526zbMATH Open1235.03065MaRDI QIDQ3005987FDOQ3005987

Christoph Schubert, Ernst-Erich Doberkat

Publication date: 10 June 2011

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

zbMATH Keywords

survey papercoalgebramodal logiccoalgebraic logicmeasurable spacebehavioural equivalencebisimilaritygeneralisation 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)

Cites Work

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

Cited In (6)

• Approximating Markov processes through filtration
• Algebraic properties of stochastic effectivity functions
• Title not available (Why is that?)
• A stochastic interpretation of propositional dynamic logic: expressivity
• Title not available (Why is that?)
• Universal type structures with unawareness

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

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