1. Bayart, A., ‘La correction de la logique de modale du premier et second ordre S5’, Logique et Analyse 1:28–44, 1958.
2. Bennett, J., ‘Iterated modalities’, Philosophical Quarterly 5:45–56, 1955.
3. Copeland, B.J., ‘The genesis of possible worlds semantics’, Journal of Philosophical Logic 31:99–137, 2002.
4. Drake, F. R., ‘On McKinsey’s syntactical characterizations of systems of modal logic’, Journal of Symbolic Logic 27:400–406, 1962.
5. Guillaume, M., ‘Rapports entre calculs propositionnels modaux et topologie impliqués par certaines extensions de la méthode des tableaux sémantiques. Système de Feys-von Wright’, Comptes Rendus des Séances de l’Académie des Sciences 246:1140–1142, 1958.