Barwise, J.; Moss, L. S. Modal Correspondence for Models. Proceedings of the AC 1995, 41-56.