Model theory for modal logic : kripke models for modal predicate calculi - Bowen, Kenneth A. (Synthese library, 1979)