Craig Interpolation for Linear Temporal Languages (Q3644755)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Craig Interpolation for Linear Temporal Languages
scientific article

    Statements

    Craig Interpolation for Linear Temporal Languages (English)
    0 references
    0 references
    0 references
    12 November 2009
    0 references
    0 references
    propositional linear temporal logic
    0 references
    Craig interpolation
    0 references
    linear-time \(\mu \)-calculus
    0 references
    0 references