Coalgebraic logic over general measurable spaces – a survey
From MaRDI portal
Publication:3005987
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)
modal logic; coalgebra; measurable space; survey paper; behavioural equivalence; coalgebraic logic; bisimilarity; generalisation of stochastic Kripke models
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
03G30: Categorical logic, topoi
Related Items
Algebraic properties of stochastic effectivity functions, Approximating Markov processes through filtration, Universal type structures with unawareness, A stochastic interpretation of propositional dynamic logic: expressivity
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