A FOUNDATION FOR METAREASONING. PART II: THE MODEL THEORY, JOURNAL OF LOGIC AND COMPUTATION