Probabilistic propositional temporal logics (Q4722046)

From MaRDI portal
scientific article; zbMATH DE number 3993550
Language Label Description Also known as
English
Probabilistic propositional temporal logics
scientific article; zbMATH DE number 3993550

    Statements

    Probabilistic propositional temporal logics (English)
    0 references
    0 references
    0 references
    1986
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    propositional probabilistic temporal logics
    0 references
    concurrent programs
    0 references
    Markov chain
    0 references
    sequential programs
    0 references
    satisfiability
    0 references
    completeness
    0 references
    decidability
    0 references
    probabilistic programs
    0 references