A Foundation for Metareasoning. Part II: The model theory