George Weaver. Logical consequence in modal logic: alternative semantic systems for normal modal logics. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics, edited by Hugues Leblanc, Studies in logic and the foundations of mathematics, vol. 68, North-Holland Publishing Company, Amsterdam and London1973, pp. 308–317.