Efficient decision procedure for propositional projection temporal logic (Q2197530)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Efficient decision procedure for propositional projection temporal logic
scientific article

    Statements

    Efficient decision procedure for propositional projection temporal logic (English)
    0 references
    0 references
    1 September 2020
    0 references
    The propositional projection temporal logic (PPTL) is an extension of Moszkowski's interval temporal logic (ITL) by introducing a new projection operator. The authors develop a decision procedure for PPTL based on a labeled normal form introduced in the paper. They show that the decision procedure has time complexity linear in the length of the formula and in the size of the power set of the atomic propositions occurring in the formula.
    0 references
    projection temporal logic
    0 references
    decision procedure
    0 references
    labeled normal form
    0 references
    labeled normal form graph
    0 references
    0 references
    0 references

    Identifiers