are decidable.

Steve Giambrone

Published in: J. Philos. Log. (1985)

Keyphrases

first order logic
transitive closure
objective function
expressive power
user interface
datalog programs
polynomial hierarchy
linear time temporal logic
computation tree logic