Pure future local temporal logics are expressively complete for Mazurkiewicz traces.
Volker DiekertPaul GastinPublished in: Inf. Comput. (2006)
Keyphrases
- mazurkiewicz traces
- temporal logic
- model checking
- modal logic
- satisfiability problem
- concurrent systems
- computation tree logic
- predicate logic
- temporal resolution
- linear temporal logic
- transition systems
- verification method
- reactive systems
- temporal knowledge
- belief revision
- objective function
- background knowledge
- special case