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
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