Metalogical frameworks
	l Logic + methodology used to represent other logics and to reason about their metalogical properties
			30