Interpretability of First-Order Dynamic Logic in a Relational Calculus.
Marcelo F. FriasGabriel BaumT. S. E. MaibaumPublished in: RelMiCS (2001)
Keyphrases
- dynamic logic
- relational calculus
- first order logic
- expressive power
- relational algebra
- classical first order logic
- propositional logic
- transitive closure
- imperative programs
- knowledge representation
- relational model
- query language
- complex objects
- normal form
- relational database systems
- incomplete information
- relational data model
- rule base
- modal logic
- propositional dynamic logic
- artificial intelligence
- multi dimensional
- natural language
- high level