A stochastic interpretation of propositional dynamic logic: expressivity

DOI10.2178/jsl/1333566646zbMath1252.03074OpenAlexW2071190692MaRDI QIDQ2892686

Ernst-Erich Doberkat

Publication date: 19 June 2012

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jsl/1333566646

zbMATH Keywords

propositional dynamic logicbehavioral equivalencemodel completionmeasurable spaceslogical equivalencestochastic Kripke models

Mathematics Subject Classification ID

Descriptive set theory (03E15) Logic in computer science (03B70) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (3)

Algebraic properties of stochastic effectivity functions ⋮ Propositional dynamic logic for searching games with errors ⋮ A stochastic interpretation of game logic

Cites Work

• Unnamed Item
• Unprovability of the logical characterization of bisimulation
• Kleisli morphisms and randomized congruences for the Giry monad
• Coalgebraic logic for stochastic right coalgebras
• Game logic -- an overview
• Universal coalgebra: A theory of systems
• Bisimulation for labelled Markov processes
• Coalgebraic logic over general measurable spaces – a survey
• An average case analysis of Floyd's algorithm to construct heaps
• Stochastic Relations
• Specifying coalgebras with modal logic

This page was built for publication: A stochastic interpretation of propositional dynamic logic: expressivity