Definability by Deterministic and Non-deterministic Programs (with Applications to First-Order Dynamic Logic)

Published in: Inf. Control. (1985)

Keyphrases

dynamic logic
black box
higher order
description logics
fixed point
turing machine
database languages
classical first order logic
machine learning
expert systems
first order logic
reasoning about actions
agent programming
imperative programs