A stochastic interpretation of propositional dynamic logic: expressivity

DOI10.2178/JSL/1333566646MaRDI QIDQ2892686zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• A stochastic interpretation of propositional dynamic logic: expressivity
• A probabilistic PDL
• A decidable propositional dynamic logic with explicit probabilities
• Decidability of finite probabilistic propositional dynamic logics
• A stochastic interpretation of game logic

Cites work

• scientific article; zbMATH DE number 1749192 (Why is no real title available?)
• An average case analysis of Floyd's algorithm to construct heaps
• Bisimulation for labelled Markov processes
• Coalgebraic logic for stochastic right coalgebras
• Coalgebraic logic over general measurable spaces -- a survey
• Game logic -- an overview
• Kleisli morphisms and randomized congruences for the Giry monad
• Specifying coalgebras with modal logic
• Stochastic Relations
• Universal coalgebra: A theory of systems
• Unprovability of the logical characterization of bisimulation

Cited in

(9)

• Algebraic properties of stochastic effectivity functions
• Propositional dynamic logic for searching games with errors
• A stochastic interpretation of propositional dynamic logic: expressivity
• A probabilistic dynamic logic
• Expressiveness of probabilistic modal logics: a gradual approach
• scientific article; zbMATH DE number 786491 (Why is no real title available?)
• Complexity and expressivity of propositional dynamic logics with finitely many variables
• A stochastic interpretation of game logic
• The epistemology of nondeterminism

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

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