An expectation-transformer model for probabilistic temporal logic

DOI10.1093/JIGPAL/7.6.779MaRDI QIDQ4934885zbMATH OpenOpenAlexFDO

Authors Carroll Morgan, Annabelle McIver

Publication date 1999

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/8c917d7598ca3fb612ac7813a07695e4fd791bb4

zbMATH Keywords

formal semanticsprobabilityprogram correctnessTemporal logicweakest precondition

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1330140
• Probabilistic temporal logics via the modal mu-calculus
• scientific article; zbMATH DE number 1104375
• Tractable probabilistic -calculus that expresses probabilistic temporal logics
• scientific article; zbMATH DE number 1324658

Cited in

(9)

• Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL
• Probabilistic temporal logics via the modal mu-calculus
• Almost-certain eventualities and abstract probabilities in the temporal logic PTL
• Predicate transformers for extended probability and non-determinism
• scientific article; zbMATH DE number 1324658 (Why is no real title available?)
• scientific article; zbMATH DE number 1330140 (Why is no real title available?)
• scientific article; zbMATH DE number 1104375 (Why is no real title available?)
• A novel stochastic game via the quantitative -calculus
• Probabilistic predicate transformers. II: Partially observable probability

This page was built for publication: An expectation-transformer model for probabilistic temporal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4934885)