Some results on Kripke models over an arbitrary fixed frame.

Seyed Mohammad Bagheri Morteza Moniri

Published in: Math. Log. Q. (2003)

Keyphrases

kripke models
modal logic
video frames
multi agent
learning algorithm
artificial intelligence
dynamic programming
user defined
key frames