Meta-logical frameworks are used to create and analyze formal specifications of programming languages. This research builds upon McDowell and Miller's meta-logical framework FOƛ ∆N. FOƛ ∆N separates the meta-logic used ...