इसका टेक्स्ट मैसेज भेजे: Model theory for modal logic : Kripke models for modal predicate calculi / Kenneth A. Bowen.