A foundation for Metareasoning Part II: The Model Theory