Luis Fariñas del Cerro. Resolution Modal Logics. In Krzysztof R. Apt, editor, Logics and Models of Concurrent Systems - Conference proceedings, Colle-sur-Loup (near Nice), France, 8-19 October 1984. Volume 13 of NATO ASI Series, pages 27-55, Springer, 1984. [doi]
Abstract is missing.