Submodels of Kripke models.

Published in: Arch. Math. Log. (2001)

Keyphrases

kripke models
modal logic
action theories
multi agent
temporal logic
situation calculus
object oriented
inference rules
decision procedures
database systems
dynamic programming
default logic