Completeness of temporal logics over infinite intervals.
Hanpin WangQiwen XuPublished in: Discret. Appl. Math. (2004)
Keyphrases
- temporal logic
- model checking
- mazurkiewicz traces
- real numbers
- satisfiability problem
- modal logic
- concurrent systems
- finitely representable
- computation tree logic
- verification method
- endpoints
- transition systems
- belief revision
- linear temporal logic
- reasoning tasks
- image sequences
- visual information
- computational complexity
- search algorithm