A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection (Q4461930)

From MaRDI portal
scientific article; zbMATH DE number 2064431
Language Label Description Also known as
English
A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
scientific article; zbMATH DE number 2064431

    Statements

    A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection (English)
    0 references
    0 references
    0 references
    18 May 2004
    0 references
    tableau
    0 references
    decision procedure
    0 references
    normal form
    0 references
    complete axiomatization
    0 references
    interval temporal logic
    0 references
    chop operator
    0 references
    projection operator
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references