Decidability and Undecidability of Extensions of Second (First) Order Theory of (Generalized) Successor.

Calvin C. Elgot Michael O. Rabin

Published in: J. Symb. Log. (1966)

Keyphrases

description logics
model theoretic
higher order
theoretical basis
first order logic
action theories
general theory
logical theories
theoretical framework
data sets
approximation spaces
decision procedures
query answering
abstract argumentation
markov decision processes
expressive power
reinforcement learning