%A Kenneth A. Bowen
%T Model theory for modal logic:
Kripke models for modal predicate calculi
%S Synthese library series
%V 127
%I D. Reidel publishing company
%C Dordrecht, Holland
%D 1979
%P 127