Refinement of Kripke Models for Dynamics.

Francien Dechesne Simona Orzan Yanjing Wang

Published in: ICTAC (2008)

Keyphrases

kripke models
dynamical systems
modal logic
dynamic model
machine learning
artificial intelligence
database systems
search space
general purpose