Stochastic coalgebraic logic

DOI10.1007/978-3-642-02995-0zbMath1207.03039OpenAlexW4212880253MaRDI QIDQ1049890

Ernst-Erich Doberkat

Publication date: 14 January 2010

Published in: Monographs in Theoretical Computer Science. An EATCS Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02995-0

zbMATH Keywords

modal logicMarkov chainsbehavioural equivalencecoalgebraic logicbisimilaritystochastic relationslogical equivalence

Mathematics Subject Classification ID

Continuous-time Markov processes on general state spaces (60J25) Discrete-time Markov processes on general state spaces (60J05) Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (9)

Approximating bisimilarity for Markov processes ⋮ Coalgebras for fuzzy transition systems ⋮ Measurable stochastics for Brane calculus ⋮ Approximating Markov processes through filtration ⋮ Distributed Modal Logic ⋮ Coalgebraic logic over general measurable spaces – a survey ⋮ Intuitive Probability Logic ⋮ Weak bisimulations for the Giry monad ⋮ Approximating Markov Processes by Averaging

This page was built for publication: Stochastic coalgebraic logic