Barwise, J., & Moss, L. S. (1995). Modal Correspondence for Models. Proceedings of the Amsterdam Colloquium, 41-56. https://platform.openjournals.nl/PAC/article/view/24621