Unbounded Program Memory Adds to the Expressive Power of First-Order Programming Logic
Jerzy TiurynPublished in: Inf. Control. (1984)
Keyphrases
- expressive power
- first order logic
- computational properties
- monadic second order logic
- set theory
- programs written
- horn clauses
- query language
- data complexity
- relation algebra
- relational algebra
- programming language
- transitive closure
- guarded fragment
- knowledge representation
- propositional logic
- relational calculus
- linear temporal logic
- classical logic
- modal logic
- logic programming
- theorem prover
- quantifier elimination
- data model
- databases
- fixed point
- nonmonotonic logics
- epistemic logic
- closure properties
- database systems