A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity

DOI10.1007/978-3-642-18026-2_6zbMath1303.03049OpenAlexW1483549243MaRDI QIDQ3063969

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

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

Related Items (2)

Hennessy-Milner results for probabilistic PDL ⋮ An algebraic expression of finite horizon optimal control algorithm for stochastic logical dynamical systems

This page was built for publication: A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity