Title: Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages