Kripke Models for Classical Logic

Danko Ilik Gyesik Lee Hugo Herbelin

Published in: CoRR (2009)

Keyphrases

classical logic
modal logic
kripke models
temporal logic
inference rules
decision procedures
default logic
intuitionistic logic
situation calculus
logic programming
default theories
machine learning
reinforcement learning
theorem proving