Kripke Models of Transfinite Provability Logic.

David Fernández-Duque Joost J. Joosten

Published in: Advances in Modal Logic (2012)

Keyphrases

kripke models
modal logic
action theories
classical logic
temporal logic
multi agent
inference rules
situation calculus
multi valued
learning algorithm
knowledge base
dynamic programming
logic programming
decision procedures