Stochastic coalgebraic logic

DOI10.1007/978-3-642-02995-0zbMath1207.03039MaRDI 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 logic; Markov chains; behavioural equivalence; coalgebraic logic; bisimilarity; stochastic relations; logical equivalence

Mathematics Subject Classification ID

60J25: Continuous-time Markov processes on general state spaces

60J05: Discrete-time Markov processes on general state spaces

03B45: Modal logic (including the logic of norms)

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03B70: Logic in computer science

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68-02: Research exposition (monographs, survey articles) pertaining to computer science

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)

Related Items

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