Implicates and reduction techniques for temporal logics.
Inman P. de GuzmánManuel Ojeda-AciegoAgustín ValverdePublished in: Ann. Math. Artif. Intell. (1999)
Keyphrases
- temporal logic
- model checking
- mazurkiewicz traces
- modal logic
- satisfiability problem
- prime implicates
- predicate logic
- temporal knowledge
- concurrent systems
- linear temporal logic
- bounded model checking
- transition systems
- computation tree logic
- expert systems
- belief revision
- finite state
- verification method
- np complete