Computable Kripke Models and Intermediate Logics.

Hajime Ishihara Bakhadyr Khoussainov Anil Nerode

Published in: Inf. Comput. (1998)

Keyphrases

kripke models
modal logic
inference rules
multi agent
temporal logic
action theories
decision procedures
expressive power
machine learning
classical logic
situation calculus
dynamic programming
turing machine
artificial intelligence
markov chain
reinforcement learning
high level