A stochastic interpretation of propositional dynamic logic: expressivity

DOI10.1007/978-3-642-18026-2_6zbMATH Open1303.03049OpenAlexW1483549243MaRDI QIDQ3063969FDOQ3063969

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

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

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• Coalgebraic logic for stochastic right coalgebras
• Complexity and expressivity of propositional dynamic logics with finitely many variables
• A stochastic interpretation of propositional dynamic logic: expressivity
• 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)