Alternating automata and temporal logic normal forms.
Clare DixonAlexander BolotovMichael FisherPublished in: Ann. Pure Appl. Log. (2005)
Keyphrases
- temporal logic
- normal form
- automata theoretic
- model checking
- modal logic
- finite state
- database design
- functional dependencies
- relational databases
- relational algebra
- nested relations
- satisfiability problem
- data dependencies
- mazurkiewicz traces
- verification method
- formal definitions
- temporal knowledge
- linear temporal logic
- computation tree logic
- regular expressions
- predicate logic
- prime implicates
- belief revision
- bounded model checking
- formal specification language
- database
- database systems
- knowledge compilation
- complex objects
- epistemic logic
- object oriented