Branching-time logics and fairness, revisited (Q5084315)

From MaRDI portal
scientific article; zbMATH DE number 7547345
Language Label Description Also known as
English
Branching-time logics and fairness, revisited
scientific article; zbMATH DE number 7547345

    Statements

    Branching-time logics and fairness, revisited (English)
    0 references
    0 references
    24 June 2022
    0 references
    computation-tree logic
    0 references
    propositional dynamic logic
    0 references
    branching-time logic
    0 references
    fairness
    0 references
    diagonalisation
    0 references
    expressivity
    0 references

    Identifiers