Model theory for modal logic : kripke models for modal predicate calculi - Bowen, Kenneth (rz1, 1979)