Branching-time logic \(\mathsf{ECTL}^{\#}\) and its tree-style one-pass tableau: extending fairness expressibility of \(\mathsf{ECTL}^+\) (Q1989347)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Branching-time logic \(\mathsf{ECTL}^{\#}\) and its tree-style one-pass tableau: extending fairness expressibility of \(\mathsf{ECTL}^+\)
scientific article

    Statements

    Branching-time logic \(\mathsf{ECTL}^{\#}\) and its tree-style one-pass tableau: extending fairness expressibility of \(\mathsf{ECTL}^+\) (English)
    0 references
    0 references
    0 references
    0 references
    21 April 2020
    0 references
    temporal logic
    0 references
    fairness
    0 references
    tableau
    0 references
    branching-time
    0 references
    one-pass tableau
    0 references
    0 references
    0 references

    Identifiers