Kripke models for subtheories of CZF.

Rosalie Iemhoff

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

Keyphrases

kripke models
modal logic
action theories
multi agent
temporal logic
natural language
situation calculus
learning algorithm
classical logic
optimal solution
relational databases
software engineering
dynamic environments
inference rules