LFMTP: Logical Frameworks and Meta-Languages