@Mauro ALLEGRANZA: Thank you for these references. I actually need to know about Kripke models for a philosphy course I am attending on reference and acquintance so presumably both Garson and Burgess would be appropriate reading material. That is given the time...

I got the article downloaded straight away from the link you provided. It seems to cover all that I hoped for.

Thank you for this reference, (the link worked fine) which seems to be to the point for me.

Thank you, I heard something along these lines (which I tried to formulate), a while ago from a logician and now I believe that what you write above must be what he had in mind. I will look at the paper.

Yes to both questions.