A stochastic interpretation of propositional dynamic logic: expressivity
From MaRDI portal
Publication:3063969
Recommendations
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)