Coalgebraic logic over measurable spaces: behavioral and logical equivalence

DOI10.1016/J.ENTCS.2009.11.027zbMATH Open1342.68242OpenAlexW2026323606MaRDI QIDQ2994480FDOQ2994480

Authors: Christoph Schubert 

Publication date: 1 August 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.11.027

Recommendations

• Stochastic coalgebraic logic
• Coalgebraic logic for stochastic right coalgebras
• Coalgebraic logic over general measurable spaces -- a survey
• Stochastic coalgebraic logic: bisimilarity and behavioral equivalence
• Characterising behavioural equivalence: Three sides of one coin

zbMATH Keywords

coalgebraic logicmeasurable space

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Categorical logic, topoi (03G30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Measure and integration theory
• Bisimulation and cocongruence for probabilistic systems
• Bisimulation for labelled Markov processes
• Expressivity of coalgebraic modal logic: the limits and beyond
• Exemplaric Expressivity of Modal Logics
• Stochastic Relations
• Expressive logics for coalgebras via terminal sequence induction
• Stone coalgebras
• Title not available (Why is that?)
• Terminal Coalgebras for Measure-Polynomial Functors
• Coalgebraic logic for stochastic right coalgebras
• Algebra and Coalgebra in Computer Science
• Behavioral and Logical Equivalence of Stochastic Kripke Models in General Measurable Spaces

Cited In (8)

• Generic infinite traces and path-based coalgebraic temporal logics
• Stochastic coalgebraic logic
• Coalgebraic logic over general measurable spaces -- a survey
• A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors
• Stochastic coalgebraic logic: bisimilarity and behavioral equivalence
• Coalgebraic logic for stochastic right coalgebras
• Behavioral and Logical Equivalence of Stochastic Kripke Models in General Measurable Spaces
• A stochastic interpretation of game logic

This page was built for publication: Coalgebraic logic over measurable spaces: behavioral and logical equivalence

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