On the Expressive Power of Dynamic Logic (Preliminary Report)
Albert R. MeyerKarl WinklmannPublished in: STOC (1979)
Keyphrases
- expressive power
- dynamic logic
- first order logic
- query language
- modal logic
- data complexity
- imperative programs
- reasoning about actions
- propositional logic
- transitive closure
- computational properties
- relational algebra
- artificial intelligence
- relational calculus
- temporal logic
- incomplete information
- databases
- knowledge representation
- data model
- machine learning