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