A probabilistic temporal calculus based on expectations

MaRDI QIDQ4370249zbMATH OpenFDO

Authors Carroll Morgan, Annabelle McIver

Publication date 15 April 1998

zbMATH Keywords

expectationsformal semanticsprobabilistic temporal operatorsprogram correctnesstemporal logicweakest precondition

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• An expectation-transformer model for probabilistic temporal logic
• scientific article; zbMATH DE number 1324658
• Probabilistic propositional temporal logics
• Probabilistic temporal logics via the modal mu-calculus
• Characterizing and reasoning about probabilistic and non-probabilistic expectation

Cited in

(10)

• Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL
• Quantitative program logic and expected time bounds in probabilistic distributed algorithms.
• Compositionality for quantitative specifications
• A quantified coalgebraic van Benthem theorem
• An expectation-transformer model for probabilistic temporal logic
• A probabilistic higher-order fixpoint logic
• scientific article; zbMATH DE number 7559483 (Why is no real title available?)
• Characteristic logics for behavioural hemimetrics via fuzzy lax extensions
• A probabilistic higher-order fixpoint logic
• A novel stochastic game via the quantitative -calculus

This page was built for publication: A probabilistic temporal calculus based on expectations

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