A stochastic interpretation of propositional dynamic logic: expressivity

DOI10.1007/978-3-642-18026-2_6MaRDI QIDQ3063969zbMATH OpenOpenAlexFDO

Authors Ernst-Erich Doberkat

Publication date 17 December 2010

Published in Logic and Its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-18026-2_6

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Modal logic (including the logic of norms) (03B45) Descriptive set theory (03E15)

Recommendations

• A stochastic interpretation of propositional dynamic logic: expressivity
• A decidable propositional dynamic logic with explicit probabilities
• A probabilistic PDL
• A stochastic interpretation of game logic
• Stochastic coalgebraic logic

Cited in

(11)

• An algebraic expression of finite horizon optimal control algorithm for stochastic logical dynamical systems
• Bisimilar and logically equivalent programs in PDL
• A probabilistic dynamic logic
• Decidability of finite probabilistic propositional dynamic logics
• Hennessy-Milner results for probabilistic PDL
• Expressiveness of probabilistic modal logics: a gradual approach
• scientific article; zbMATH DE number 786491 (Why is no real title available?)
• Coalgebraic logic for stochastic right coalgebras
• A stochastic interpretation of propositional dynamic logic: expressivity
• Complexity and expressivity of propositional dynamic logics with finitely many variables
• Behavioral and Logical Equivalence of Stochastic Kripke Models in General Measurable Spaces

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 Q3063969)