Barwise, J. and Moss, L.S. (1995) “Modal Correspondence for Models”, Proceedings of the Amsterdam Colloquium, pp. 41–56. Available at: https://platform.openjournals.nl/PAC/article/view/24621 (Accessed: 5 December 2025).