On the Relationship between [ohgr]-automata and Temporal Logic Normal Forms.
Alexander BolotovMichael FisherClare DixonPublished in: J. Log. Comput. (2002)
Keyphrases
- temporal logic
- normal form
- automata theoretic
- model checking
- modal logic
- finite state
- database design
- prime implicates
- relational databases
- nested relations
- satisfiability problem
- functional dependencies
- data dependencies
- relational algebra
- formal definitions
- linear temporal logic
- mazurkiewicz traces
- predicate logic
- regular expressions
- belief revision
- verification method
- object oriented
- inference rules
- computation tree logic
- formal specification
- knowledge representation