Unbounded Program Memory Adds to the Expressive Power of First-Order Dynamic Logic (Extended Abstract)
Jerzy TiurynPublished in: FOCS (1981)
Keyphrases
- extended abstract
- expressive power
- first order logic
- dynamic logic
- imperative programs
- classical first order logic
- propositional logic
- data complexity
- knowledge representation
- transitive closure
- relational algebra
- computational properties
- theorem prover
- quantifier elimination
- relational calculus
- propositional dynamic logic
- reasoning about actions
- dl lite
- data model
- relational query languages
- closure properties
- horn clauses
- situation calculus
- modal logic
- query language