Coalgebraic logic over measurable spaces: behavioral and logical equivalence

DOI10.1016/J.ENTCS.2009.11.027MaRDI QIDQ2994480zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

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

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)