A decidable propositional dynamic logic with explicit probabilities

DOI10.1016/S0019-9958(84)80039-XzbMath0592.68031MaRDI QIDQ3721807

Yishai A. Feldman

Publication date: 1984

Published in: Information and Control (Search for Journal in Brave)

zbMATH Keywords

probabilistic programsmeasure theoretical modelsschematic models

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Decidability of theories and sets of sentences (03B25)

Related Items (8)

Extending propositional dynamic logic for Petri nets ⋮ Reasoning about probabilistic sequential programs ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ A propositional linear time logic with time flow isomorphic to \(\omega^2\) ⋮ Probabilistic Logic over Paths ⋮ A logic for reasoning about probabilities ⋮ Decidability of finite probabilistic propositional dynamic logics ⋮ Probabilistic Temporal Logics

This page was built for publication: A decidable propositional dynamic logic with explicit probabilities