Keyphrases
- automata theoretic
- linear time temporal logic
- logic programming
- temporal logic
- predicate logic
- computational properties
- classical logic
- default logic
- modal logic
- multi valued
- digital circuits
- truth maintenance systems
- linear temporal logic
- databases
- regular path queries
- efficient implementation
- sound and complete axiomatization